Cursos de Lua - Formalización de la semántica del lenguaje de programación Lua

Índice de Contenidos:
1 Resumen
2 Abstract
3 Introducción al presente trabajo
3.1 Motivación
3.1.1 Sobre Lua
3.2 Formalización y trabajos relacionados
3.3 Propuesta de trabajo
3.4 Sobre semántica de reducciones y su mecanización con PLT Redex
4 Presentación del lenguaje núcleo de Lua
4.1 Tipos
4.2 Estado
4.2.1 Valores de tipo referencia
4.2.2 Tablas mutables
4.2.3 Entorno
4.2.4 Almacenamiento
4.3 Manejo de errores
4.4 Mecanismo de meta-tablas
4.5 Recolección de basura
4.6 Construcciones presentes en nuestro lenguaje
5 Gramática del lenguaje núcleo
5.1 Gramática de programas válidos
5.2 Extensiones de la gramática
5.2.1 Nuevas categorías sintácticas
5.2.2 Contextos
6 Semántica de reducciones
6.1 Manipulación de almacenamientos
6.2 Manipulación de entornos
6.3 Diseño de las nociones de reducción
6.4 Semántica de expresiones
6.4.1 Expresiones que no interactúan con contextos
6.4.2 Expresiones que interactúan con el almacenamiento de valores simples
6.4.3 Expresiones que interactúan con el almacenamiento de objetos
6.4.4 Expresiones que interactúan con ambos almacenamientos
6.4.5 Mecanismo de meta-tablas
6.5 Sentencias
6.5.1 Sentencias que no interactúan con almacenamientos
6.5.2 Sentencias que operan sobre el contexto actual
6.5.3 Sentencias que no operan con almacenamientos, ni descartan el contexto
6.5.4 Sentencias que interactúan con el almacenamiento de valores simples
6.5.5 Sentencias que interactúan con el almacenamiento de objetos
6.5.6 Mecanismo de meta-tablas
6.6 Relación de reducción estándar
7 Compilación de un programa en Lua
7.1 Entornos
7.2 Traducción código fuente a código fuente
8 Entorno de ejecución
8.1 Procedimientos de envoltorio
8.2 Servicios descritos como implementaciones en nuestro lenguaje
8.2.1 ipairs
8.2.2 pairs
8.2.3 tostring
8.2.4 Servicios que
9 Mecanización con PLT Redex
9.1 Gramática
9.2 Meta-funciones
9.3 Nociones de reducción
9.4 Verificación de la semántica

En formato pdf. Contiene 77 páginas.