Unified Algebras and Action Semantics

Forfattere

  • Peter D. Mosses

DOI:

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

Resumé

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.

Forfatterbiografi

Peter D. Mosses

Downloads

Publiceret

1988-05-01

Citation/Eksport

Mosses, P. D. (1988). Unified Algebras and Action Semantics. DAIMI Report Series, 18(272). https://doi.org/10.7146/dpb.v18i272.7626

Nummer

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

Sektion

Articles

Licens

Creative Commons License

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