Generación de código intermedio usando semántica funtorial
Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | bachelorThesis |
| Language: | spa |
| Published: |
2011
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11086/41 |
| _version_ | 1801215106349006848 |
|---|---|
| author | Rodríguez, Leonardo Matías |
| author2 | Fridlender, Daniel Edgardo |
| author_facet | Fridlender, Daniel Edgardo Rodríguez, Leonardo Matías |
| author_sort | Rodríguez, Leonardo Matías |
| collection | Repositorio Digital Universitario |
| description | Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010. |
| format | bachelorThesis |
| id | rdu-unc.41 |
| institution | Universidad Nacional de Cordoba |
| language | spa |
| publishDate | 2011 |
| record_format | dspace |
| spelling | rdu-unc.412022-10-13T11:33:17Z Generación de código intermedio usando semántica funtorial Rodríguez, Leonardo Matías Fridlender, Daniel Edgardo Pagano, Miguel María 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 Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010. 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. 2011-09-05T19:32:52Z 2011-09-05T19:32:52Z 2010-12-29 bachelorThesis Bibliografía : p. 117-119. http://hdl.handle.net/11086/41 spa Atribución-NoComercial-SinDerivadas 2.5 Argentina http://creativecommons.org/licenses/by-nc-nd/2.5/ar/ 119 hojas |
| 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 |
| title | 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_short | Generación de código intermedio usando semántica funtorial |
| title_sort | generacion de codigo intermedio usando semantica funtorial |
| 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 |
| url | http://hdl.handle.net/11086/41 |
| work_keys_str_mv | AT rodriguezleonardomatias generaciondecodigointermediousandosemanticafuntorial |