Libro sobre formalizacion semántica en el lenguaje Lua

formalizacion semántica en el lenguaje Lua

formalizacion semántica en el lenguaje Lua

Los lenguajes de “script” cumplen hoy un papel importante en el desarrollo de aplicaciones, introduciendo elementos dinámicos y siendo utilizados en la orquestación de las funcionalidades de tales aplicaciones.

Lua es un lenguaje que se viene destacando en este sentido debido a la posibilidad que ofrece de extender y modificar su semántica, como también a lo compacto que es el lenguaje.

En este trabajo deseamos formalizar y estudiar una semántica operacional para el lenguaje. Para los lenguajes de programación, una formalización de su semántica puede ser empleada para garantizar que una implementación coincida con una especificación. Por ejemplo, proyectos como Compcert1 y Concurrent C Minor Project2 en donde se realizan verificaciones formales de compiladores reales, trabajando sobre la definición de la semántica del lenguaje fuente (lenguaje para el cual se construye el compilador), el intermediario (empleando internamente en el proceso de compilación) y el lenguaje objetivo (lenguaje hacia el cual se compila el programa en el lenguaje fuente).

Sobre Lua

Lua es un lenguaje de script desarrollado con el objetivo de ser extensible y que sirva como lenguaje de extensión. El lenguaje fue pensado para ser compacto, con mecanismos que faciliten su uso con C y que pueda ser fácilmente embebido en las aplicaciones. Lua es un lenguaje de extensión en el sentido de que va a proveer características como tipos dinámicos e mecanismos de reflexión que pueden ser utilizados para facilitar la programación de una aplicación.

La habilidad de Lua de ser extensible significa que posee una serie de mecanismos que permiten modificar la semántica de algunas operaciones, para adaptar el lenguaje a distintos paradigmas de programación. A través del mecanismo provisto por las metatablas, las cuales definen el comportamiento de las operaciones que es posible de realizar sobre valores de cualquier tipo, es posible modelar otros paradigmas de programación.

Como ejemplo de las posibilidades que ofrece Lua para ser adaptado a dominios específicos, y a modo de introducción de la sintaxis y las posibilidades del lenguaje, veamos cómo es posible emplear el mecanismo de metatablas, junto a las tablas de Lua, para implementar la noción de clases e instancias, del paradigma orientado a objetos.

El empleo de tablas para representar objetos y clases resulta posible gracias a que todos los valores en Lua son de primera clase, permitiendo almacenar con una tabla tanto datos como procedimientos. La sintaxis del lenguaje es intuitiva y adecuada para este ejemplo, ya que provee notación extraída de lenguajes orientados a objetos.

 

SE PARTE DE ESTA GRAN COMUNIDAD DE PROGRAMADORES

 

GUIA PARA DESCARGAR LIBRO:

1- Click al siguiente enlace: VER LIBRO
2- Luego al botón DESCARGA MEGA
3- Marcar la casilla NO SOY UN ROBOT
4- Luego click al botón rojo GET LINK
5- Cerrar publicidad y volver dar click a GET LINK
6- Ya por ultimo saldrá el servidor de MEGA para descargar el libro

VER LIBRO