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

Ejemplares similares

Ejemplares similares