Action Algebras and Model Algebras in Denotational Semantics

DOI10.1007/978-3-642-04164-8_12zbMath1253.68213OpenAlexW1482102463MaRDI QIDQ3184749

Edward Hermann Haeusler, Luiz Carlos Castro Guedes

Publication date: 22 October 2009

Published in: Semantics and Algebraic Specification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04164-8_12

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Cites Work

• Two-level semantics and code generation
• A hidden agenda
• Action Semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item