A Formal System for Defining the Syntax and Semantics of Computer Languages
| dc.contributor.advisor | Wozencraft, John M. | en_US |
| dc.contributor.author | Ledgard, Henry Francis | en_US |
| dc.date.accessioned | 2023-03-29T14:54:16Z | |
| dc.date.available | 2023-03-29T14:54:16Z | |
| dc.date.issued | 1969-04 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149379 | |
| dc.description.abstract | 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. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-060 | |
| dc.relation.ispartofseries | MAC-TR-060 | |
| dc.title | A Formal System for Defining the Syntax and Semantics of Computer Languages | en_US |
| dc.identifier.oclc | 00596050 |
