Unified Algebras and Action Semantics
DOI:
https://doi.org/10.7146/dpb.v18i272.7626Abstract
The recently-developed framework of Unified Algebras is intended for axiomatic specification of abstract data types. In contrast, the somewhat older framework of Action Semantics (earlier known as ''Abstract Semantic Algebras'') is for denotational specification of programming languages. This paper gives an introduction to the main features of Unified Algebras and Action Semantics, and discusses the relation between them. The two frameworks both exploit nondeterministic choice in unconventional ways.Downloads
Published
1988-05-01
How to Cite
Mosses, P. D. (1988). Unified Algebras and Action Semantics. DAIMI Report Series, 18(272). https://doi.org/10.7146/dpb.v18i272.7626
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.