Axiomatizing Operational Equivalence in the presence of Side Effects (1989)
by
Ian Mason
,
Carolyn Talcott
| Venue: | In Fourth Annual Symposium on Logic in Computer Science. IEEE |
| Citations: | 15 - 8 self |
BibTeX
@INPROCEEDINGS{Mason89axiomatizingoperational,
author = {Ian Mason and Carolyn Talcott},
title = {Axiomatizing Operational Equivalence in the presence of Side Effects},
booktitle = {In Fourth Annual Symposium on Logic in Computer Science. IEEE},
year = {1989},
pages = {284--293},
publisher = {IEEE Computer Society Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper we present a formal system for deriving assertions about programs with side effects. The assertions we consider are of the following two forms: (i) e diverges (i.e. fails to reduce to a value), written " e; (ii) e 0 and e 1 are strongly isomorphic (i.e. reduce to the same value and have the same effect on memory up to production of garbage), written
