Buscar
Mostrando ítems 1-10 de 5820
El siginificado de 'C'
(Universidad Veracruzana, 1988)
An intrinsic denotational semantics for a lazy functional language
(Springer, 2015)
A análise semântica das expressões denotativas nas teorias de Frege e Carnap
(Universidade do Vale do Rio do Sinos, 2008-08-29)
The main subject of this work is the semantics of denoting expressions in Frege’s and Carnap’s theories. The text is divided in three chapters. In the first one, Frege’s theory of meaning, which distinguishes between ...
A análise semântica das expressões denotativas nas teorias de Frege e Carnap
(Universidade do Vale do Rio do Sinos, 2008-08-29)
The main subject of this work is the semantics of denoting expressions in Frege’s and Carnap’s theories. The text is divided in three chapters. In the first one, Frege’s theory of meaning, which distinguishes between ...
Semântica denotacional escalável de linguagens imperativas
(Universidade Federal de Minas GeraisUFMG, 2013-03-14)
This dissertation presents a new methodology for the scalability problem in Denotational Semantics, named Component Based Denotational Semantics. This work uses a library of denotational semantics components, which encapsulate ...
D-Linking And The Inability Of Subjects In English To Topicalise
(Univ. La Serena Departamento de Artes y Letras Facultad de Humanidades, 2013)
Intensional Expressions: A Proposal of Analysis by a Polish Philosopher
(Universidad Autónoma del Estado de México, 2016)
Abstract interpretation of temporal concurrent constraint programs
(Cambridge University Press, 2014)
Generación de código intermedio usando semántica funtorial
(2010-12-29)
Este trabajo consiste en la implementación de un front-end para un lenguaje de programación Algol-like. El front-end es la
primera etapa del proceso de compilación; cuyo objetivo es generar código en un lenguaje intermedio ...