An Action Semantics Based on Two Combinators

DOI10.1007/978-3-642-04164-8_14zbMath1253.68210OpenAlexW2159440951MaRDI QIDQ3184751

Kyung-Goo Doh, David A. Schmidt

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_14

Mathematics Subject Classification ID

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

Cites Work

• Algebraic semantics
• Composing programming languages by combining action-semantics modules.
• Action Semantics
• Two-Level Functional Languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An Action Semantics Based on Two Combinators