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.
Original language | English |
---|---|
Title of host publication | Proceedings of the 10th ACM International Conference on Generative Programming and Component Engineering |
Number of pages | 2 |
Publisher | Association for Computing Machinery |
Publication date | 2011 |
Pages | 93-94 |
ISBN (Print) | 978-1-4503-0689-8 |
DOIs | |
Publication status | Published - 2011 |
Event | 10th ACM International Conference on Generative Programming and Component Engineering - Portland, OR, United States Duration: 22 Oct 2011 → 23 Oct 2011 |
Conference
Conference | 10th ACM International Conference on Generative Programming and Component Engineering |
---|---|
Country/Territory | United States |
City | Portland, OR |
Period | 22/10/2011 → 23/10/2011 |