scientific article; zbMATH DE number 1424026

MaRDI QIDQ4945216zbMATH OpenFDO

Authors Peter D. Mosses

Publication date 7 October 2001

zbMATH Keywords

operational semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• Formalizing operational semantic specifications in logic
• Representing and Reasoning with Operational Semantics
• A rewriting logic approach to operational semantics
• Programming Languages and Systems
• Publication:4896257

Cited in

(9)

• Operational semantics and generalized weakest preconditions
• Formal foundations of operational semantics
• Rewriting logic: Roadmap and bibliography
• Modular structural operational semantics
• Rule-based operational semantics for an imperative language
• Representing and Reasoning with Operational Semantics
• scientific article; zbMATH DE number 1231615 (Why is no real title available?)
• Formalizing operational semantic specifications in logic
• scientific article; zbMATH DE number 6787693 (Why is no real title available?)

This page was built for publication:

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