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...
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
-
The Syntax and semantics of infinitary languages /
por: Barwise, John
Publicado em: (1968) -
Programming language syntax and semantics /
por: Watt, David A. (David Anthony), et al.
Publicado em: (1990) -
Interactions Between Syntax and Semantics in Language Models
por: Bau, Anthony
Publicado em: (2022) - Semantic syntax
-
Across the Boundary: The Formalization of the Interface Between Episodic Memory and Narrow Syntax Computation of Human Language
por: Edward Ruoyang Shi
Publicado em: (2024-08-01)