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

Mostrar todas las versiones(2)

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Soldevila Raffa, Mallku Ernesto
Otros Autores: Lima Ventura, Daniel
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2016
Materias:
Software
Acceso en línea:http://hdl.handle.net/11086/2775
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-2775
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Software
spellingShingle Software
Soldevila Raffa, Mallku Ernesto
Formalización de la semántica del lenguaje de programacion Lua
topic_facet Software
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.
author2 Lima Ventura, Daniel
author_facet Lima Ventura, Daniel
Soldevila Raffa, Mallku Ernesto
format bachelorThesis
author Soldevila Raffa, Mallku Ernesto
author_sort Soldevila Raffa, Mallku Ernesto
title 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_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_sort formalización de la semántica del lenguaje de programacion lua
publishDate 2016
url http://hdl.handle.net/11086/2775
work_keys_str_mv AT soldevilaraffamallkuernesto formalizaciondelasemanticadellenguajedeprogramacionlua
bdutipo_str Repositorios
_version_ 1764820391511982080

Ejemplares similares