Sciweavers

Share
ICFP
2003
ACM

Reasoning about recursive procedures with parameters

9 years 6 months ago
Reasoning about recursive procedures with parameters
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameters and local variables. We extend the meaning of variable substitution or freeness from the syntax to the semantics of program expressions. We give a predicate transformer semantics to recursive procedures with parameters and prove a
Ralph-Johan Back, Viorel Preoteasa
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where ICFP
Authors Ralph-Johan Back, Viorel Preoteasa
Comments (0)
books