Reasoning about Programs by Exploiting The Environment (1994)
| Venue: | In Annual International Colloquium on Automata, Languages and Programming |
| Citations: | 10 - 0 self |
BibTeX
@INPROCEEDINGS{Fix94reasoningabout,
author = {Limor Fix and Fred B.Schneider},
title = {Reasoning about Programs by Exploiting The Environment},
booktitle = {In Annual International Colloquium on Automata, Languages and Programming},
year = {1994},
pages = {328--339},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A method for making aspects of a computational model explicit in the formulas of a programming logic is given. The method is based on a new notion of environment---an environment augments the state transitions defined by a program's atomic actions rather than being interleaved with them. Two simple semantic principles are presented for extending a programming logic in order to reason about executions feasible in various environments.
