Action Semantics
From MaRDI portal
Publication:4023578
DOI10.1017/CBO9780511569869zbMath0875.68618OpenAlexW1426476981WikidataQ57783627 ScholiaQ57783627MaRDI QIDQ4023578
Publication date: 23 January 1993
Full work available at URL: https://doi.org/10.1017/cbo9780511569869
Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (17)
Evolution of rule-based programs ⋮ Unifying models ⋮ 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 ⋮ Programming language semantics: It’s easy as 1,2,3 ⋮ Generating action compilers by partial evaluation ⋮ Rewriting extended regular expressions ⋮ Semantics in Data and Knowledge Bases ⋮ Operational semantics: concepts and their expression ⋮ Specification languages in algebraic compilers ⋮ Aspect-Oriented Action Semantics Descriptions ⋮ A unified language processing methodology ⋮ A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
This page was built for publication: Action Semantics
