Buscar
Mostrando ítems 1-10 de 2117
An intrinsic denotational semantics for a lazy functional language
(Springer, 2015)
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 ...
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 ...
D-Linking And The Inability Of Subjects In English To Topicalise
(Univ. La Serena Departamento de Artes y Letras Facultad de Humanidades, 2013)
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 ...
Semantic models of phraseological units denoting adverse emotions and feelings
(Universidad del Zulia, 2019)
Abstract interpretation of temporal concurrent constraint programs
(Cambridge University Press, 2014)
Biortogonalidad para corrección de compiladores y adecuación computacional
(2019)
En esta tesis hemos estudiado en profundidad los métodos de biortogonalidad y step-indexing para probar tanto adecuación computacional como corrección de compiladores. Un primer aporte es la prueba de corrección de una ...
Resolving Non-determinism in Choreographies
(Springer, 2014-04)
Resolving non-deterministic choices of choreographies is a crucial task. We introduce a novel notion of realisability for choreographies –called whole-spectrum implementation– that rules out deterministic implementations ...