An Action Semantics Based on Two Combinators

DOI10.1007/978-3-642-04164-8_14MaRDI QIDQ3184751zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Category-sorted algebra-based action semantics
• Generating action compilers by partial evaluation
• scientific article; zbMATH DE number 4050948
• Action Semantics in Retrospect
• Action semantics reasoning about functional programs

Cites work

• Action Semantics
• Algebraic semantics
• Composing programming languages by combining action-semantics modules.
• scientific article; zbMATH DE number 4180819 (Why is no real title available?)
• scientific article; zbMATH DE number 4050948 (Why is no real title available?)
• scientific article; zbMATH DE number 3733228 (Why is no real title available?)
• scientific article; zbMATH DE number 3735102 (Why is no real title available?)
• scientific article; zbMATH DE number 1142321 (Why is no real title available?)
• scientific article; zbMATH DE number 1142322 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• scientific article; zbMATH DE number 3423547 (Why is no real title available?)
• Two-Level Functional Languages

Cited in

(5)

• Category-sorted algebra-based action semantics
• Action Semantics in Retrospect
• Action Algebras and Model Algebras in Denotational Semantics
• scientific article; zbMATH DE number 591239 (Why is no real title available?)
• ACTION TYPES IN STIT SEMANTICS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3184751)