The Variety of Variables in Automated Real-Time Refinement

Autor:	Luke Wildman, David Carrington, Colin J. Fidge
Rok vydání:	2003
Předmět:	State variable Interactive programming Computer science Programming language Concurrency Subroutine computer.software_genre Theoretical Computer Science Refinement calculus Theory of computation Programmer computer Software TRACE (psycholinguistics)
Zdroj:	Formal Aspects of Computing. 15:258-279
ISSN:	1433-299X 0934-5043
Popis:	The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::3dc6e6152e76f78c38e82a860bedb047 https://doi.org/10.1007/s00165-003-0009-2 Zobrazit plný text záznamu Full text from SpringerLink