Pragmatics for formal semantics

Research output: Contribution to book/anthology/report/proceedingConference abstract in proceedingsResearchpeer-review

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 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 date2011
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
Country/TerritoryUnited States
CityPortland, OR
Period22/10/201123/10/2011

Fingerprint

Dive into the research topics of 'Pragmatics for formal semantics'. Together they form a unique fingerprint.

Cite this