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 - http://www.scopus.com/inward/record.url?scp=0019110928&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0019110928&partnerID=8YFLogxK
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 -