An Action Semantics Based on Two Combinators

DOI10.1007/978-3-642-04164-8_14zbMATH Open1253.68210OpenAlexW2159440951MaRDI QIDQ3184751FDOQ3184751

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Two-Level Functional Languages
• Algebraic semantics
• Title not available (Why is that?)
• Action Semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Composing programming languages by combining action-semantics modules.
• Title not available (Why is that?)

Cited In (5)

• Category-sorted algebra-based action semantics
• Action Semantics in Retrospect
• Title not available (Why is that?)
• Action Algebras and Model Algebras in Denotational Semantics
• 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)