Menu Content/Inhalt
Home
Lenguajes y Compiladores

Contenidos Mínimos:

  1. Semántica de los lenguajes de programación: axiomática, denotacional y operacional.
  2. Teoría de dominios.
  3. Tipos recursivos.
  4. Introducción a la compilación.
  5. Análisis léxico.
  6. Análisis sintáctico.
  7. Uso de herramientas (por ejemplo Lex, Yacc, etc.).
  8. Traducción dirigida por la sintaxis.
  9. Comprobación de tipos.
  10. Ambientes para el momento de ejecución.
  11. Generación de código.
  12. Optimización de código.

Bibliografía:

  1. G. WINKSEL. The Formal Semantics of Programming Lnaguages. MIT Press. 1993.
  2. H. R. NIELSON & F. NIELSON. Semantics with applications: formal introduction. John Wiley. 1992.
  3. A. AHO, R. SETHI & J. ULLMAN. Compiladores. Addison-Wesley Iberoamericana. Argentina. 1990.

 

 
< Anterior   Siguiente >
Content Management System: Joomla!
Template based on an original designed by www.madeyourweb.com