Paper Info
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.
Year
DOI
Venue
1980
10.1145/567446.567458
POPL
Keywords
Field
DocType
language pundit,precise specification,c programming language,semantic specification,compiler writer,case study,programming language
Specification language,Programming language,Programming language specification,Computer science,Fourth-generation programming language,Compiler,High-level programming language,First-generation programming language,Low-level programming language,Language primitive
Conference
ISBN
Citations 
PageRank 
0-89791-011-7
2
0.44
References 
Authors
10
1
Name
Order
Citations
PageRank
Ravi Sethi122811029.21