Abstract
This tech talk describes how to write and how to inter-derive formal semantics for sequential programming languages. The progress reported here is (1) concrete guidelines to write each formal semantics to alleviate their proof obligations, and (2) simple calculational tools to obtain a formal semantics from another.
- Olivier Danvy, Jacob Johannsen, and Ian Zerny. A walk in the semantic park. In Siau-Cheng Khoo and Jeremy Siek, editors, Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2011), pages 1--12, Austin, Texas, January 2011. ACM Press. Invited talk. Google Scholar
Digital Library
Index Terms
Pragmatics for formal semantics
Recommendations
Pragmatics for formal semantics
GPCE '11: Proceedings of the 10th ACM international conference on Generative programming and component engineeringThis tech talk describes how to write and how to inter-derive formal semantics for sequential programming languages. The progress reported here is (1) concrete guidelines to write each formal semantics to alleviate their proof obligations, and (2) ...
A Formal Operational Semantics for SOFL
APSEC '97: Proceedings of the Fourth Asia-Pacific Software Engineering and International Computer Science ConferenceSOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data flow diagrams, VDM-SL, and Petri nets to provide a graphical and textural formal notation for ...
Equivalence of formal semantics definition methods
AbstractThere are numerous methods of formally defining the semantics of computer languages. Each method has been designed to fulfil a different purpose. For example, some have been designed to make reasoning about languages as easy as possible; others ...







Comments