Unified Algebras and action semantics

DOI10.1007/BFb0028970zbMath1492.68089WikidataQ57783641 ScholiaQ57783641MaRDI QIDQ5096140

Peter D. Mosses

Publication date: 16 August 2022

Published in: STACS 89 (Search for Journal in Brave)

zbMATH Keywords

denotational semanticsaction semanticsabstract syntaxconcrete syntaxunified algebras

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Related Items (4)

Category-sorted algebra-based action semantics ⋮ The rewriting logic semantics project ⋮ The rewriting logic semantics project: a progress report ⋮ A rewriting logic approach to operational semantics

Cites Work

• Specifications in an arbitrary institution
• Data Types as Lattices
• The denotational semantics of programming languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Unified Algebras and action semantics