Ten Mini-Languages: A Study of Topical Issues in Programming Languages
ACM Computing Surveys (CSUR)
A Sampler of Formal Definitions
ACM Computing Surveys (CSUR)
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
Production systems: or can we do better than BNF
Communications of the ACM
Clarification of Fortran standards—initial progress
Communications of the ACM
Conditional syntactic specification
ACM '73 Proceedings of the ACM annual conference
Correctness of a compiler for a Lisp subset
Proceedings of ACM conference on Proving assertions about programs
ACM forum: on ACM and scientific freedom
Communications of the ACM
To be, or not to be: is that the question?
ACM SIGSIM Simulation Digest
| Hi-index | 48.23 |
This paper reviews the current state of programming language standards activities with respect to the anomalies which exist between the various published and proposed standards for Fortran, Cobol, PL/I, and Basic. Proposals are made for the inclusion of formalisms within future standards and the extension of the standards to include additional items such as error conditions and documentation.