| Publication Title: |
A FORMALIZATION AND CORRECTNESS PROOF OF THE CGOL LANGUAGE SYSTEM |
| Publication Author: |
VanDeVanter, M.L. |
| Additional Authors: |
|
| LCS Document Number: |
MIT-LCS-TR-147 |
| Publication Date: |
3-1-1975 |
| LCS Group: |
No Group Specified |
| Additional URL: |
No URL Given |
| Abstract: |
| In many important ways the design and implementation of programming languages are hindered rather than helped by BNF. We present an alternative meta-language based on the work of Pratt which retains much of the effective power of BNF but is more convenient for designer, implementer, and user alike. Its amenability to formal treatment is demonstrated by a rigorous correctness proof of a simple implementation. |
| To obtain this publication: |
|
|
|
To purchase a printed copy of this publication please contact
MIT
Document Services.
|