Formalización de la semántica del lenguaje de programacion Lua
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. Lua es un lenguaje pensado para ser util...
Main Author: | |
---|---|
Other Authors: | |
Format: | bachelorThesis |
Language: | spa |
Published: |
2016
|
Subjects: | |
Online Access: | http://hdl.handle.net/11086/2775 |
_version_ | 1801215323041431552 |
---|---|
author | Soldevila Raffa, Mallku Ernesto |
author2 | Lima Ventura, Daniel |
author_facet | Lima Ventura, Daniel Soldevila Raffa, Mallku Ernesto |
author_sort | Soldevila Raffa, Mallku Ernesto |
collection | Repositorio Digital Universitario |
description | 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. 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 interes en disponer de un modelo formal del lenguaje que permita el desarrollode 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 librera estandar. 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, version 5.2, empleando su propia suite de pruebas. |
format | bachelorThesis |
id | rdu-unc.2775 |
institution | Universidad Nacional de Cordoba |
language | spa |
publishDate | 2016 |
record_format | dspace |
spelling | rdu-unc.27752022-10-13T11:33:47Z Formalización de la semántica del lenguaje de programacion Lua Soldevila Raffa, Mallku Ernesto Lima Ventura, Daniel Software 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. 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 interes en disponer de un modelo formal del lenguaje que permita el desarrollode 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 librera estandar. 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, version 5.2, empleando su propia suite de pruebas. 2016-07-04T19:16:59Z 2016-07-04T19:16:59Z 2015 bachelorThesis http://hdl.handle.net/11086/2775 spa Atribución 2.5 Argentina http://creativecommons.org/licenses/by/2.5/ar/ |
spellingShingle | Software Soldevila Raffa, Mallku Ernesto Formalización de la semántica del lenguaje de programacion Lua |
title | Formalización de la semántica del lenguaje de programacion Lua |
title_full | Formalización de la semántica del lenguaje de programacion Lua |
title_fullStr | Formalización de la semántica del lenguaje de programacion Lua |
title_full_unstemmed | Formalización de la semántica del lenguaje de programacion Lua |
title_short | Formalización de la semántica del lenguaje de programacion Lua |
title_sort | formalizacion de la semantica del lenguaje de programacion lua |
topic | Software |
url | http://hdl.handle.net/11086/2775 |
work_keys_str_mv | AT soldevilaraffamallkuernesto formalizaciondelasemanticadellenguajedeprogramacionlua |