Action Semantics

DOI10.1017/CBO9780511569869MaRDI QIDQ4023578zbMATH OpenOpenAlexWikidataFDO

Authors Peter D. Mosses

Publication date 23 January 1993

Full work available at URL https://doi.org/10.1017/cbo9780511569869

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Semantics in the theory of computing (68Q55)

Cited in

(18)

• Operational semantics: concepts and their expression
• A unified language processing methodology
• Specification languages in algebraic compilers
• Evolution of rule-based programs
• Aspect-oriented action semantics descriptions
• A rewrite framework for language definitions and for generation of efficient interpreters
• Action Semantics in Retrospect
• Order-Sorted Parameterization and Induction
• Action Algebras and Model Algebras in Denotational Semantics
• An Action Semantics Based on Two Combinators
• Converting between Combinatory Reduction Systems and Big Step Semantics
• A Complete, Co-inductive Syntactic Theory of Sequential Control and State
• Generating action compilers by partial evaluation
• Unifying models
• Semantics in Data and Knowledge Bases
• Programming language semantics: It’s easy as 1,2,3
• Rewriting extended regular expressions
• On extensivity and coextensivity of morphisms

This page was built for publication: Action Semantics

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