You are here:
» Pragmatics for formal semantics
About Aarhus University
Pragmatics for formal semantics
Research output: Contribution to book/anthology/report/proceeding › Conference abstract in proceedings › Research › peer-review
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 year | 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 |
|---|---|
| Land | United States |
| By | Portland, OR |
| Periode | 22/10/2011 → 23/10/2011 |
See relations at Aarhus University Citationformats
ID: 44363982