Highly Influenced

@inproceedings{Felleisen1988lambdaVCSAE, title={lambda-V-CS: An Extended lambda-Calculus for Scheme}, author={Matthias Felleisen}, booktitle={LISP and Functional Programming}, year={1988} }

- Published 1988 in LISP and Functional Programming
DOI:10.1145/62678.62686

The λ-v-CS-calculus is a conservative extension of the λ-value-calculus for reasoning about programs in Scheme-like languages. The basis of the extended calculus is a symbolic rewriting semantics for imperative programs. We show with numerous examples how to state and prove equational properties of Scheme-programs in the calculus. The examples suggest that the algebraic manipulation of imperative-functional programs is as feasible and as fruitful as that of functional ones.

Highly Cited

This paper has 28 citations. REVIEW CITATIONS

Unfortunately, ACM prohibits us from displaying non-influential references for this paper.

To see the full reference list, please visit http://dl.acm.org/citation.cfm?id=62686.