Basic Action Theory

Søren B. Lassen

Abstract


Action semantics is a semantic description framework with very good
pragmatic 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.

Full Text:

PDF


DOI: http://dx.doi.org/10.7146/brics.v2i25.19927
This website uses cookies to allow us to see how the site is used. The cookies cannot identify you or any content at your own computer.
OK


ISSN: 0909-0878 

Hosted by the Royal Danish Library and Aarhus University Library