Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.provenance | Repositorio Digital Universitario - Universidad Nacional de Córdoba | - |
dc.contributor | Fridlender, Daniel Edgardo | - |
dc.contributor | Pagano, Miguel | - |
dc.creator | Rodríguez, Leonardo Matías. | - |
dc.date | 2010 | - |
dc.date.accessioned | 2019-07-13T15:53:30Z | - |
dc.date.available | 2019-07-13T15:53:30Z | - |
dc.date.issued | 2010 | - |
dc.identifier | Bibliografía : p. 117-119. | - |
dc.identifier | http://hdl.handle.net/11086/41 | - |
dc.identifier.uri | http://rodna.bn.gov.ar/jspui/handle/bnmm/566691 | - |
dc.description | Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010. | - |
dc.description | 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 a partir del programa fuente.La generación de código intermedio se realiza a partir de la semántica denotacional del lenguaje, es decir, se elige un modelo que permite pensar las ecuaciones semánticas como traducciones al lenguaje intermedio. El modelo semántico que se elige es una categoría funtorial que permite explicitar en las ecuaciones algunas propiedades deseadas del lenguaje. La implementación se realiza en Agda, un lenguaje funcional con tipos dependientes. | - |
dc.description | Leonardo Rodríguez. | - |
dc.format | application/pdf | - |
dc.language | spa | - |
dc.relation | Disponible en línea | - |
dc.rights | info:eu-repo/semantics/openAccess | - |
dc.source | reponame:Repositorio Digital Universitario (UNC) | - |
dc.source | instname:Universidad Nacional de Córdoba | - |
dc.source | instacron:UNC | - |
dc.source.uri | http://hdl.handle.net/11086/41 | - |
dc.subject | Semantics of Programming Languages | - |
dc.subject | Denotational semantics | - |
dc.subject | Mathematical Logic | - |
dc.subject | Lambda calculus and related systems | - |
dc.subject | Código intermedio | - |
dc.subject | Categoría funtorial | - |
dc.subject | Semántica denotacional | - |
dc.subject | Agda | - |
dc.subject | Lógica matemática | - |
dc.subject | Sistemas relacionados | - |
dc.subject | Semántica de lenguajes de programación | - |
dc.title | Generación de código intermedio usando semántica funtorial | - |
dc.type | info:eu-repo/semantics/bachelorThesis | - |
dc.type | info:eu-repo/semantics/acceptedVersion | - |
dc.type | info:ar-repo/semantics/tesisDeGrado | - |
Aparece en las colecciones: | Universidad Nacional de Córdoba. Repositorio Digital Universitario |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.