CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

Formalización de la semántica del lenguaje de programacion Lua / Mallku Ernesto Soldevila Raffa.

By: Soldevila Raffa, Mallku Ernesto, 1986-.
Contributor(s): Lima Ventura, Daniel, 1980- [dir.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n. ], 2015Description: 79 p. : il. ; 30 cm.Subject(s): Software | Programming languages | Formal definitions and theory | Theory of computation | Logics and meanings of programs | Semantics of Programming Languages | Operational semantics | Semantics | Specifying and verifying and reasoning about programs | Mechanical verification | Semántica de reducciones | Semántica operacional | Lenguaje de programación | MecanizaciónOnline resources: Acceso a Versión Digital | Acceso RDU-UNC Disponible en línea.Dissertation note: Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. Summary: 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.Summary: Script languages have an important role today in the development of applications, offering concepts for programming, that can extend those present in the language used for the implementation of the application's architecture. In that matter, Lua is a language developed to be used as a tool for programming code of special purpose, to be executed embedded into a host application. It presents concepts that are useful for agile development of code, as dynamic typing and automatic memory management, and also reflection mechanisms, that bring the possibility of adapt the language to specific domains. Currently, there is interest in having a formal model of the language, that allows the development of tools for verification of properties of programs written in Lua. In the present work, we propose an operational semantics for a subset of the concepts of Lua and the services offered by its standard library. Also, using the tool PLT Redex, we transcribe the obtained model and run tests of conformity of it, against Lua's interpreter, version 5.2, using its own test suite.
Tags from this library: No tags from this library for this title.
Item type Current location Call number URL Copy number Status Notes Date due Barcode Item holds
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C SOL http://www.famaf.unc.edu.ar/institucional/biblioteca/trabajos/638/17167.pdf 1 Available Disponible también en línea. 22226
Total holds: 0

Con lic. CC Commons Atribución 2.5 Argentina.

Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015.

Bibliografía : p. 78-79.

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.

Script languages have an important role today in the development of applications, offering concepts for programming, that can extend those present in the language used for the implementation of the application's architecture. In that matter, Lua is a language developed to be used as a tool for programming code of special purpose, to be executed embedded into a host application. It presents concepts that are useful for agile development of code, as dynamic typing and automatic memory management, and also reflection mechanisms, that bring the possibility of adapt the language to specific domains.
Currently, there is interest in having a formal model of the language, that allows the development of tools for verification of properties of programs written in Lua. In the present work, we propose an operational semantics for a subset of the concepts of Lua and the services offered by its standard library. Also, using the tool PLT Redex, we transcribe the obtained model and run tests of conformity of it, against Lua's interpreter, version 5.2, using its own test suite.

Disponible en línea.

La biblioteca posee 1 ej.

Click on an image to view it in the image viewer

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com



//