A Formalization and Correctness Proof of the CGOL Language System
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....
| 主要作者: | |
|---|---|
| 其他作者: | |
| 出版: |
2023
|
| 在線閱讀: | https://hdl.handle.net/1721.1/149442 |
| _version_ | 1826204737686470656 |
|---|---|
| author | VanDeVanter, Michael Lee |
| author2 | Pratt, Vaughan R. |
| author_facet | Pratt, Vaughan R. VanDeVanter, Michael Lee |
| author_sort | VanDeVanter, Michael Lee |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T13:00:36Z |
| id | mit-1721.1/149442 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T13:00:36Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1494422023-03-30T03:41:50Z A Formalization and Correctness Proof of the CGOL Language System VanDeVanter, Michael Lee Pratt, Vaughan R. 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. 2023-03-29T14:59:08Z 2023-03-29T14:59:08Z 1975-03 https://hdl.handle.net/1721.1/149442 02062440 MIT-LCS-TR-147 MAC-TR-147 application/pdf |
| spellingShingle | VanDeVanter, Michael Lee A Formalization and Correctness Proof of the CGOL Language System |
| title | A Formalization and Correctness Proof of the CGOL Language System |
| title_full | A Formalization and Correctness Proof of the CGOL Language System |
| title_fullStr | A Formalization and Correctness Proof of the CGOL Language System |
| title_full_unstemmed | A Formalization and Correctness Proof of the CGOL Language System |
| title_short | A Formalization and Correctness Proof of the CGOL Language System |
| title_sort | formalization and correctness proof of the cgol language system |
| url | https://hdl.handle.net/1721.1/149442 |
| work_keys_str_mv | AT vandevantermichaellee aformalizationandcorrectnessproofofthecgollanguagesystem AT vandevantermichaellee formalizationandcorrectnessproofofthecgollanguagesystem |