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...

ver descrição completa

Detalhes bibliográficos
Autor principal: Ledgard, Henry Francis
Outros Autores: Wozencraft, John M.
Publicado em: 2023
Acesso em linha:https://hdl.handle.net/1721.1/149379

Registros relacionados