What is wrong?

Notice: Before sending an error with the download, please try the direct link first: Formalización de la semántica del lenguaje de programación Lua

Loading...

You must sign in to do that.

Forgot password?

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

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

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

Score: 10.00 | 2 votes
| Sending vote
| Voted!
|

Book Details:

pos
Global
pos
Category
Year:2015
Publisher:Autoedición
Pages:79 pages
Language:spanish
Since:03/12/2015
Size:901 KB
License:Pending review

Content:

Los lenguajes de “script” cumplen hoy un papel importante en el desarrollo de aplicaciones, ofreciendo conceptos para la programación, que pueden extender aquellos presentes en el lenguaje empleado para implementar la arquitectura de una aplicación. En ese sentido, Lua es un lenguaje pensado para ser utilizado como una herramienta para la programación, de propósito específico, para implementar código a ejecutarse embebido en una aplicación anfitrión. Presenta conceptos útiles para el desarrollo ágil de código, como tipado dinámico y gestión automática de memoria, como también mecanismos de reflexión, que permiten adaptarlo a dominios específicos.

Actualmente, existe un interés en disponer de un modelo formal del lenguaje, que permita el desarrollo de herramientas para verificar propiedades sobre programas escritos en Lua. En el presente trabajo, proponemos una semántica operacional para un subconjunto de los conceptos del lenguaje Lua y los servicios ofrecidos por su librería estándar. A su vez, empleando la herramienta PLT Redex, realizamos una transcripción del modelo obtenido y efectuamos pruebas de conformidad del mismo con respecto al intérprete de Lua, versión 5.2, empleando su propia suite de pruebas.

Categories:

Tags:

Loading comments...

Scanning lists...

The book in numbers

global rank

online since

03/12/2015

rate score

10

votes

2

Social likes

Nothing yet...

Views

Downloads

This may take several minutes

Interest

Countries segmentation

This may take several minutes

Source Referers

Websites segmentation

evolution

This may take several minutes

Loading...