Structuring operational semantics: simplification and computation

DOI10.1016/J.ENTCS.2007.02.016MaRDI QIDQ2864160zbMATH OpenOpenAlexFDO

Authors Eugenio Moggi

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.02.016

zbMATH Keywords

operational semanticsmultiset rewritingconfluent rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• A structural approach to operational semantics
• Membrane Computing
• scientific article; zbMATH DE number 92601
• A rewriting logic approach to operational semantics
• A rewriting logic approach to operational semantics (extended abstract)

Cites work

• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 517039 (Why is no real title available?)
• scientific article; zbMATH DE number 1956524 (Why is no real title available?)
• scientific article; zbMATH DE number 1759482 (Why is no real title available?)
• scientific article; zbMATH DE number 194911 (Why is no real title available?)
• scientific article; zbMATH DE number 2090726 (Why is no real title available?)
• A structural approach to operational semantics
• A syntactic approach to type soundness
• An abstract monadic semantics for value recursion
• FreshML: programming with binders made simple
• Functional and Logic Programming
• Generative communication in Linda
• Global Computing
• Mobile ambients
• Notions of computation and monads
• Programming Languages and Systems
• The Kell calculus: operational semantics and type system.
• The Klaim project: Theory and practice
• The chemical abstract machine

Cited in

(7)

• A structural operational semantics for an Edison like language. II
• scientific article; zbMATH DE number 1837651 (Why is no real title available?)
• Structural operational semantics for weak bisimulations
• Simulation of operational semantics of machine instructions
• Structural operational semantics for a portable subset of behavioral VHDL-93
• Automata, Languages and Programming
• A structural operational semantics for an Edison-like language

Describes a project that uses

Uses Software

• Linda
• KLAIM
• FreshML

This page was built for publication: Structuring operational semantics: simplification and computation

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