A case study in specifying the semantics of a programming language

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations

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 languageEnglish (US)
Title of host publicationProceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1980
PublisherAssociation for Computing Machinery
Pages117-130
Number of pages14
ISBN (Print)0897910117
DOIs
StatePublished - Jan 28 1980
Event7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1980 - Las Vegas, United States
Duration: Jan 28 1980Jan 30 1980

Publication series

NameConference Record of the Annual ACM Symposium on Principles of Programming Languages
ISSN (Print)0730-8566

Conference

Conference7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1980
CountryUnited States
CityLas Vegas
Period1/28/801/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