The Vienna Definition Language
ACM Computing Surveys (CSUR)
Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
A FORMAL SYSTEM FOR DEFINING THE SYNTAX AND SEMANTICS OF COMPUTER LANGUAGES
A FORMAL SYSTEM FOR DEFINING THE SYNTAX AND SEMANTICS OF COMPUTER LANGUAGES
A Sampler of Formal Definitions
ACM Computing Surveys (CSUR)
Considerations for future programming language standards activities
Communications of the ACM
A production-system model of human-computer interaction
CHI '82 Proceedings of the 1982 Conference on Human Factors in Computing Systems
Methods for specifying static semantics
Computer Languages
Hi-index | 48.23 |
Since the development of BNF, the definition of the syntax of programming languages has been almost universally associated with context-free requirements. Yet numerous interesting and difficult issues in syntax stem from the context-sensitive requirements, notably the compatibility between the declaration of an identifier and its uses, the correspondence between actual and formal parameters, and issues arising from block structure.This paper explores the use of a formal notation called Production Systems in providing a readable and complete formal definition of syntax. As a practical illustration, a small but significant subset of PL/I is considered. A more detailed presentation, as well as the application to define abstract syntax and translations between languages, is given in a previous paper by the author.