Unified Algebras and Action Semantics

Authors

  • Peter D. Mosses

DOI:

https://doi.org/10.7146/dpb.v18i272.7626

Abstract

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.

Author Biography

Peter D. Mosses

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

No. 272 (1988): PB-272 Unified Algebras and Action Semantics

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.