A case study in specifying the semantics of a programming language

Ravi Sethi

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 1980 → Jan 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/80 → 1/30/80

ASJC Scopus subject areas

  • Software

Access to Document

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