The C programming language
Some Properties of Predicate Transformers
Journal of the ACM (JACM)
A Hierarchical Approach to Formal Semantics With Application to the Definition of PL/ CS
ACM Transactions on Programming Languages and Systems (TOPLAS)
The denotational semantics of programming languages
Communications of the ACM
A portable compiler: theory and practice
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Mathematical semantics of SNOBOL4
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Applications of high level control flow
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Specifying programming language semantics: a tutorial and critique of a paper by Hoare and Lauer
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Theory of Programming Language Semantics
A Theory of Programming Language Semantics
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
A Formal Definition of Algol 60 as Described in the 1975 Modified Report
The Vienna Development Method: The Meta-Language
Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations
The Vienna Development Method: The Meta-Language
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Comparison of the Programming Languages C and Pascal
ACM Computing Surveys (CSUR)
A study of evaluation order semantics in expressions with side effects
Journal of Functional Programming
History of programming languages---II
Hi-index | 0.00 |
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.