Pragmatics for formal semantics

Research output: Contribution to book/anthology/report/proceedingConference abstract in proceedingsResearchpeer-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 languageEnglish
Title of host publicationProceedings of the 10th ACM International Conference on Generative Programming and Component Engineering
Number of pages2
PublisherAssociation for Computing Machinery
Publication year2011
Pages93-94
ISBN (print)978-1-4503-0689-8
DOIs
Publication statusPublished - 2011
Event10th ACM International Conference on Generative Programming and Component Engineering - Portland, OR, United States
Duration: 22 Oct 201123 Oct 2011

Conference

Conference10th ACM International Conference on Generative Programming and Component Engineering
LandUnited States
ByPortland, OR
Periode22/10/201123/10/2011

See relations at Aarhus University Citationformats

ID: 44363982