Inferring the equivalence of functional programs that mutate data
- 9 November 1992
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 105 (2), 167-215
- https://doi.org/10.1016/0304-3975(92)90301-u
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Equivalence in functional languages with effectsJournal of Functional Programming, 1991
- Verification of programs that destructively manipulate dataScience of Computer Programming, 1988
- λ-V-CS: an extended λ-calculus for schemePublished by Association for Computing Machinery (ACM) ,1988
- Side effects and aliasing can have simple axiomatic descriptionsACM Transactions on Programming Languages and Systems, 1985
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975