A case study in specifying the semantics of a programming language

Ravi Sethi

doi:10.1145/567446.567458

A case study in specifying the semantics of a programming language

Ravi Sethi

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

7 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 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	https://doi.org/10.1145/567446.567458
State	Published - Jan 28 1980
Externally published	Yes
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/Territory	United States
City	Las Vegas
Period	1/28/80 → 1/30/80

ASJC Scopus subject areas

Software

Access to Document

10.1145/567446.567458

Cite this

A case study in specifying the semantics of a programming language. / Sethi, Ravi.
Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1980. Association for Computing Machinery, 1980. p. 117-130 (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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. Conference Record of the Annual ACM Symposium on Principles of Programming Languages, Association for Computing Machinery, pp. 117-130, 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1980, Las Vegas, United States, 1/28/80. https://doi.org/10.1145/567446.567458

@inproceedings{d1274916f9f24bd3bbb87585364d4fd3,

title = "A case study in specifying the semantics of a programming language",

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.",

author = "Ravi Sethi",

note = "Publisher Copyright: {\textcopyright} 1980 ACM.; 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1980 ; Conference date: 28-01-1980 Through 30-01-1980",

year = "1980",

month = jan,

day = "28",

doi = "10.1145/567446.567458",

language = "English (US)",

isbn = "0897910117",

series = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",

publisher = "Association for Computing Machinery",

pages = "117--130",

booktitle = "Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1980",

}

TY - GEN

T1 - A case study in specifying the semantics of a programming language

AU - Sethi, Ravi

PY - 1980/1/28

Y1 - 1980/1/28

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/0019110928

UR - https://www.scopus.com/pages/publications/0019110928#tab=citedBy

U2 - 10.1145/567446.567458

DO - 10.1145/567446.567458

M3 - Conference contribution

AN - SCOPUS:0019110928

SN - 0897910117

T3 - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

SP - 117

EP - 130

BT - Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1980

PB - Association for Computing Machinery

T2 - 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1980

Y2 - 28 January 1980 through 30 January 1980

ER -

A case study in specifying the semantics of a programming language

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this