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.
| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1980 |
| Publisher | Association for Computing Machinery |
| Pages | 117-130 |
| Number of pages | 14 |
| ISBN (Print) | 0897910117 |
| DOIs | |
| State | Published - Jan 28 1980 |
| Event | 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1980 - Las Vegas, United States Duration: Jan 28 1980 → Jan 30 1980 |
Publication series
| Name | Conference Record of the Annual ACM Symposium on Principles of Programming Languages |
|---|---|
| ISSN (Print) | 0730-8566 |
Conference
| Conference | 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1980 |
|---|---|
| Country | United States |
| City | Las Vegas |
| Period | 1/28/80 → 1/30/80 |
ASJC Scopus subject areas
- Software
Fingerprint Dive into the research topics of 'A case study in specifying the semantics of a programming language'. Together they form a unique fingerprint.
Cite this
Sethi, R. (1980). A case study in specifying the semantics of a programming language. In Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1980 (pp. 117-130). (Conference Record of the Annual ACM Symposium on Principles of Programming Languages). Association for Computing Machinery. https://doi.org/10.1145/567446.567458