Axiomatizing operational equivalence in the presence of side effects (1989) [14 citations — 7 self]
by Ian A. Mason, Carolyn Talcott
In Fourth Annual Symposium on Logic in Computer Science. IEEE
http://turing.une.edu.au/~iam/Data/Papers/89lics.ps
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Mason89axiomatizingoperational,author = {Ian A. 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}
}
Years of Citing Articles
Abstract:
In 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:
