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

Imágen de perfil

.pdfFormalización de la semántica del lenguaje de programación Luagráfica de visualizaciones


Lua

Actualizado el 8 de Junio del 2020 por Administrador (Publicado el 4 de Junio del 2020)
697 visualizaciones desde el 4 de Junio del 2020
Í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.

Screenshot_20200604_181618

Forma parte de Repositorio Digital de la UNC
 

Si alguno de los archivos de descarga no funciona, comentanos aquí el error.




Comentarios... (0)


No hay comentarios
 

Comentar

Nombre
Correo (no se visualiza en la web)
Valoración
Comentarios...
CerrarCerrar
CerrarCerrar
Cerrar

Tienes que ser un usuario registrado para poder insertar imágenes, archivos y/o videos.

Puedes registrarte o validarte desde aquí.

Codigo
Negrita
Subrayado
Tachado
Cursiva
Insertar enlace
Imagen externa
Emoticon
Tabular
Centrar
Titulo
Linea
Disminuir
Aumentar
Vista preliminar
sonreir
dientes
lengua
guiño
enfadado
confundido
llorar
avergonzado
sorprendido
triste
sol
estrella
jarra
camara
taza de cafe
email
beso
bombilla
amor
mal
bien
Es necesario revisar y aceptar las políticas de privacidad

http://lwp-l.com/c10695