A Formalization and Correctness Proof of the CGOL Language System
Name
MIT-LCS-TR-147.pdf
Size
3.08 MB
Format
Adobe PDF
Checksum (MD5)
f1294ccfcf6c18e6f00bac30238cb2f5
Author(s)
VanDeVanter, Michael Lee
Advisor(s)
Pratt, Vaughan R.
Date Issued
March 1975
Series/Report no.
MIT-LCS-TR-147
MAC-TR-147
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.
Persistent DSpace Link
