A FORMAL SYSTEM FOR DEFINING THE SYNTAX AND SEMANTICS OF COMPUTER LANGUAGES
Henry Ledgard · DSpace@MIT (Massachusetts Institute of Technology) · 1969
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.