Action Semantics in Retrospect

DOI10.1007/978-3-642-04164-8_2MaRDI QIDQ3184743zbMATH OpenOpenAlexFDO

Authors David Anthony Watt

Publication date 22 October 2009

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

Full work available at URL http://eprints.gla.ac.uk/46113/1/46113.pdf

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4050948
• Action semantics reasoning about functional programs
• Structural operational semantics.
• An Action Semantics Based on Two Combinators
• Constructive Action Semantics in OBJ

Cites work

• Action Semantics
• Can programming be liberated from the von Neumann style?
• Composing programming languages by combining action-semantics modules.
• scientific article; zbMATH DE number 3864473 (Why is no real title available?)
• scientific article; zbMATH DE number 3810954 (Why is no real title available?)
• scientific article; zbMATH DE number 4035108 (Why is no real title available?)
• scientific article; zbMATH DE number 177779 (Why is no real title available?)
• scientific article; zbMATH DE number 3483540 (Why is no real title available?)
• scientific article; zbMATH DE number 1142321 (Why is no real title available?)

Cited in

(10)

• Comparing action descriptions based on semantic preferences
• Action Algebras and Model Algebras in Denotational Semantics
• An Action Semantics Based on Two Combinators
• RGSep Action Inference
• scientific article; zbMATH DE number 4050948 (Why is no real title available?)
• scientific article; zbMATH DE number 591239 (Why is no real title available?)
• Action semantics reasoning about functional programs
• ACTION TYPES IN STIT SEMANTICS
• scientific article; zbMATH DE number 2152256 (Why is no real title available?)
• On the semantics of durational actions

This page was built for publication: Action Semantics in Retrospect

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