Skip to main content

A Case Study in Specifying the Semantics of a Programming Language

DOI 10.1145/567446.567458 dblp BibTeX

Abstract

On and off over the period of about a year I have worked on a semantic specification for the C programming language My objective was to construct a readable and precise specification of C, aimed at compiler writers, maintainers, and language pundits. This paper is a report on the project.

Related papers

Realistic Realizability: Specifying ABIs You Can Count On OOPSLA 2024
Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript) Standardization SLE 2025
Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing SAS 1998
Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE's GCM and real-time annotations GPCE 2009
Pluggable AOP: designing aspect mechanisms for third-party composition OOPSLA 2005
Saggitarius: A DSL for Specifying Grammatical Domains OOPSLA 2023
Semantic Patches for Java Program Transformation (Experience Report) ECOOP 2019
A Coq Mechanization of JavaScript Regular Expression Semantics ICFP 2024