Basic Action Theory
DOI:
https://doi.org/10.7146/brics.v2i25.19927Abstract
Action semantics is a semantic description framework with very goodpragmatic properties but until now a rather weak theory for reasoning
about programs. A strong action theory would have a great practical
potential, as it would facilitate reasoning about the large class of
programming languages that can be described in action semantics.
This report develops the foundations for a richer action theory, by
bringing together concepts and techniques from process theory and
from work on operational reasoning about functional programs. Semantic
preorders and equivalences in the action semantics setting are
studied and useful operational techniques for establishing contextual
equivalences are presented. These techniques are applied to establish
equational and inequational action laws and an induction rule.
Downloads
Published
1995-01-25
How to Cite
Lassen, S. B. (1995). Basic Action Theory. BRICS Report Series, 2(25). https://doi.org/10.7146/brics.v2i25.19927
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.