Generación de código intermedio usando semántica funtorial

Mostrar todas las versiones(2)

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.

Guardado en:
Detalles Bibliográficos
Autor principal: Rodríguez, Leonardo Matías
Otros Autores: Fridlender, Daniel Edgardo
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2011
Materias:
Semantics of Programming Languages
Denotational semantics
Mathematical Logic
Lambda calculus and related systems
Código intermedio
Categoría funtorial
Semántica denotacional
Agda
Lógica matemática
Sistemas relacionados
Semántica de lenguajes de programación
Acceso en línea:http://hdl.handle.net/11086/41
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-41
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Semantics of Programming Languages
Denotational semantics
Mathematical Logic
Lambda calculus and related systems
Código intermedio
Categoría funtorial
Semántica denotacional
Agda
Lógica matemática
Sistemas relacionados
Semántica de lenguajes de programación
spellingShingle Semantics of Programming Languages
Denotational semantics
Mathematical Logic
Lambda calculus and related systems
Código intermedio
Categoría funtorial
Semántica denotacional
Agda
Lógica matemática
Sistemas relacionados
Semántica de lenguajes de programación
Rodríguez, Leonardo Matías
Generación de código intermedio usando semántica funtorial
topic_facet Semantics of Programming Languages
Denotational semantics
Mathematical Logic
Lambda calculus and related systems
Código intermedio
Categoría funtorial
Semántica denotacional
Agda
Lógica matemática
Sistemas relacionados
Semántica de lenguajes de programación
description Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.
author2 Fridlender, Daniel Edgardo
author_facet Fridlender, Daniel Edgardo
Rodríguez, Leonardo Matías
format bachelorThesis
author Rodríguez, Leonardo Matías
author_sort Rodríguez, Leonardo Matías
title Generación de código intermedio usando semántica funtorial
title_short Generación de código intermedio usando semántica funtorial
title_full Generación de código intermedio usando semántica funtorial
title_fullStr Generación de código intermedio usando semántica funtorial
title_full_unstemmed Generación de código intermedio usando semántica funtorial
title_sort generación de código intermedio usando semántica funtorial
publishDate 2011
url http://hdl.handle.net/11086/41
work_keys_str_mv AT rodriguezleonardomatias generaciondecodigointermediousandosemanticafuntorial
bdutipo_str Repositorios
_version_ 1764820393084846084

Ejemplares similares