A Formal System for Defining the Syntax and Semantics of Computer Languages
The thesis of this dissertation is that formal definitions of the syntax and semantics of computer languages are needed. This dissertation investigates two candidates for formally defining computer languages: (1) the formalism of canonical systems for defining the syntax of a computer language and...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149379 |
| _version_ | 1826194407674609664 |
|---|---|
| author | Ledgard, Henry Francis |
| author2 | Wozencraft, John M. |
| author_facet | Wozencraft, John M. Ledgard, Henry Francis |
| author_sort | Ledgard, Henry Francis |
| collection | MIT |
| description | The thesis of this dissertation is that formal definitions of the syntax and semantics of computer languages are needed. This dissertation investigates two candidates for formally defining computer languages: (1) the formalism of canonical systems for defining the syntax of a computer language and its translation into a target language for defining the semantics of a computer language. |
| first_indexed | 2024-09-23T09:55:39Z |
| id | mit-1721.1/149379 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T09:55:39Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1493792023-03-30T04:06:48Z A Formal System for Defining the Syntax and Semantics of Computer Languages Ledgard, Henry Francis Wozencraft, John M. The thesis of this dissertation is that formal definitions of the syntax and semantics of computer languages are needed. This dissertation investigates two candidates for formally defining computer languages: (1) the formalism of canonical systems for defining the syntax of a computer language and its translation into a target language for defining the semantics of a computer language. 2023-03-29T14:54:16Z 2023-03-29T14:54:16Z 1969-04 https://hdl.handle.net/1721.1/149379 00596050 MIT-LCS-TR-060 MAC-TR-060 application/pdf |
| spellingShingle | Ledgard, Henry Francis A Formal System for Defining the Syntax and Semantics of Computer Languages |
| title | A Formal System for Defining the Syntax and Semantics of Computer Languages |
| title_full | A Formal System for Defining the Syntax and Semantics of Computer Languages |
| title_fullStr | A Formal System for Defining the Syntax and Semantics of Computer Languages |
| title_full_unstemmed | A Formal System for Defining the Syntax and Semantics of Computer Languages |
| title_short | A Formal System for Defining the Syntax and Semantics of Computer Languages |
| title_sort | formal system for defining the syntax and semantics of computer languages |
| url | https://hdl.handle.net/1721.1/149379 |
| work_keys_str_mv | AT ledgardhenryfrancis aformalsystemfordefiningthesyntaxandsemanticsofcomputerlanguages AT ledgardhenryfrancis formalsystemfordefiningthesyntaxandsemanticsofcomputerlanguages |