Representing and Reasoning with Operational Semantics

DOI10.1007/11814771_3MaRDI QIDQ3613396zbMATH OpenOpenAlexFDO

Authors

Publication date 12 March 2009

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.7732

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formalizing operational semantic specifications in logic
• scientific article; zbMATH DE number 1424026
• scientific article; zbMATH DE number 1070626
• Encoding generic judgments: preliminary results
• Programming Languages and Systems

Cited in

(12)

• A rewriting logic approach to operational semantics
• Formal foundations of operational semantics
• Encoding generic judgments: preliminary results
• A rewriting logic approach to operational semantics (extended abstract)
• The rewriting logic semantics project: a progress report
• The rewriting logic semantics project: a progress report
• scientific article; zbMATH DE number 1424026 (Why is no real title available?)
• Formalizing operational semantic specifications in logic
• Programming Languages and Systems
• Representational reasoning and verification
• A Survey of the Proof-Theoretic Foundations of Logic Programming
• Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography

Describes a project that uses

Uses Software

• PVS
• PoplMark
• Nuprl

This page was built for publication: Representing and Reasoning with Operational Semantics

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