A Formal System for Defining the Syntax and Semantics of Computer Languages
Name
MIT-LCS-TR-060.pdf
Size
5.26 MB
Format
Adobe PDF
Checksum (MD5)
3d4486d5b2b945db6e368fd996e859ba
Author(s)
Ledgard, Henry Francis
Advisor(s)
Wozencraft, John M.
Date Issued
April 1969
Series/Report no.
MIT-LCS-TR-060
MAC-TR-060
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.
Persistent DSpace Link
