Since 2014
Basic Action Theory
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Basic Action Theory
|
|
| Creator |
Lassen, Søren B.
|
|
| Description |
Action semantics is a semantic description framework with very goodpragmatic properties but until now a rather weak theory for reasoningabout programs. A strong action theory would have a great practicalpotential, as it would facilitate reasoning about the large class ofprogramming languages that can be described in action semantics.This report develops the foundations for a richer action theory, bybringing together concepts and techniques from process theory andfrom work on operational reasoning about functional programs. Semanticpreorders and equivalences in the action semantics setting arestudied and useful operational techniques for establishing contextualequivalences are presented. These techniques are applied to establishequational and inequational action laws and an induction rule.
|
|
| Publisher |
Aarhus University
|
|
| Contributor |
—
|
|
| Date |
1995-01-25
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/19927
10.7146/brics.v2i25.19927 |
|
| Source |
BRICS Report Series; No 25 (1995): RS-25 Basic Action Theory
BRICS Report Series; No 25 (1995): RS-25 Basic Action Theory 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/19927/17581
|
|
| Rights |
Copyright (c) 2015 BRICS Report Series
|
|