Axiomatizing operational equivalence in the presence of side effects
- 7 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Programming, transforming, and proving with function abstractions and memoriesPublished by Springer Nature ,1989
- 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
- The Physics of Accretion onto Compact ObjectsPublished by Springer Nature ,1986
- Side effects and aliasing can have simple axiomatic descriptionsACM Transactions on Programming Languages and Systems, 1985
- Memories of S-Expressions Proving Properties of Lisp-Like Programs That Destructively Alter Memory,Published by Defense Technical Information Center (DTIC) ,1985
- Reasoning about recursively defined data structuresPublished by Association for Computing Machinery (ACM) ,1978
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975