Electronic Resource
Springer
Acta informatica
8 (1977), S. 145-152
ISSN:
1432-0525
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Summary The semantics of procedures and parameters were formalized by Hoare [2] in terms of axioms and rules of inference. Igarashi et al. [4] reformulated Hoare's system. This paper extends their rule of inference for procedure calls to allow i) actual variable parameters to occur in actual value parameters; ii) the body of a procedure to contain global variables that do not occur in assignment positions; iii) post-conditions and “internal” assertions of a procedure to refer to the initial values of variable parameters. None of these are allowed in Hoare's system or the system of Igarashi, London and Luckham. An attractive feature of these extensions is that they do not increase the complexity of the rules of inference.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00289246
Permalink
Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |