## A Formal System for Defining the Syntax and Semantics of Computer Languages (1969)

by
A Formal System
,
Henry Francis Ledgard
,
Henry Francis Ledgard

### BibTeX

@MISC{System69aformal,

author = {A Formal System and Henry Francis Ledgard and Henry Francis Ledgard},

title = {A Formal System for Defining the Syntax and Semantics of Computer Languages},

year = {1969}

}

### OpenURL

### 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, and (2) the formalisms of the l-calculus and extended Markov algorithms as a combined formalism used as the basis of a target language for defining the semantics of a computer language.