Detalles MARC
000 -Encabezamiento |
fixed length control field |
03972nam a22004457a 4500 |
001 - Número de Control |
control field |
17167 |
003 - Identificador del Número de Control |
control field |
AR_CdUFM |
005 - Fecha de Ultima Modificación |
control field |
20200608095242.0 |
008 - Elementos de Fongitud Fija--Información General |
fixed length control field |
150407s2015 ag_||||| |||| 00| 0 spa d |
040 ## - Origen de la Catalogación |
Agencia/entidad que catalogó originalmente la obra |
AR_CdUFM |
Entidad que transcribió la catalogación |
AR_CdUFM |
100 1# - Entrada Principal - Nombre Personal |
Nombre Personal |
Soldevila Raffa, Mallku Ernesto, |
Fechas asociadas con el nombre |
1986- |
245 10 - Título propiamente dicho |
Título |
Formalización de la semántica del lenguaje de programacion Lua / |
Mención de responsabilidad |
Mallku Ernesto Soldevila Raffa. |
260 ## - Publicación, Distribución, etc. (Pie de Imprenta) |
Lugar de publicación, distribución, etc. |
[S.l. : |
Nombre de la editorial, distribuidor, etc. |
s.n. ], |
Fecha de publicación, distribución, etc. |
2015. |
300 ## - Descripción Física |
Extensión |
79 p. : |
Otros detalles físicos |
il. ; |
Dimensiones |
30 cm. |
502 ## - Nota de disertación |
Nota de disertación |
Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. |
504 ## - Nota de Bibliografía, etc. |
Nota de Bibliografía, etc. |
Bibliografía : p. 78-79. |
520 ## - Resumen, etc. |
Nota de resumen, etc. |
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,<br/>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.<br/>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<br/>del mismo con respecto al intérprete de Lua, version 5.2, empleando su propia suite de pruebas. |
520 ## - Resumen, etc. |
Nota de resumen, etc. |
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.<br/>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. |
530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE |
Additional physical form available note |
Disponible en línea. |
540 ## - NOTA DE CONDICIONES DE USO Y REPRODUCCION |
Fuente del término |
cc |
Términos que regulan el uso y reproducción |
Bajo una Licencia CreativeC Commons Atribución 2.5 Argentina. |
Derechos de uso y reproducción (CC BY-NC-ND) |
CC BY |
Identificador Uniforme del Recurso |
<a href="https://creativecommons.org/licenses/by/2.5/ar/">https://creativecommons.org/licenses/by/2.5/ar/</a> |
650 #4 - Entradas Secundarias - Términos temáticos |
Tópico o nombre geográfico |
Software |
650 #4 - Entradas Secundarias - Términos temáticos |
Tópico o nombre geográfico |
Programming languages |
650 #4 - Entradas Secundarias - Términos temáticos |
Tópico o nombre geográfico |
Formal definitions and theory |
650 #4 - Entradas Secundarias - Términos temáticos |
Tópico o nombre geográfico |
Theory of computation |
650 #4 - Entradas Secundarias - Términos temáticos |
Tópico o nombre geográfico |
Logics and meanings of programs |
650 #4 - Entradas Secundarias - Términos temáticos |
Tópico o nombre geográfico |
Semantics of Programming Languages |
650 #4 - Entradas Secundarias - Términos temáticos |
Tópico o nombre geográfico |
Operational semantics |
650 #4 - Entradas Secundarias - Términos temáticos |
Tópico o nombre geográfico |
Lenguajes de programación |
650 #4 - Entradas Secundarias - Términos temáticos |
Tópico o nombre geográfico |
Semántica operacional |
653 ## - Término Indizado - No Controlado |
Término |
Semantics |
653 ## - Término Indizado - No Controlado |
Término |
Specifying and verifying and reasoning about programs |
653 ## - Término Indizado - No Controlado |
Término |
Mechanical verification |
653 ## - Término Indizado - No Controlado |
Término |
Semántica de reducciones |
653 ## - Término Indizado - No Controlado |
Término |
Mecanización |
700 1# - Entradas Secundarias - Nombre Personal |
Nombre Personal |
Lima Ventura, Daniel, |
Fechas asociadas con el nombre |
1980- , |
Término de relación |
dir. |
856 41 - Localización Electrónica y Acceso |
Link text |
Acceso RDU-UNC |
Identificador Uniforme de Recurso (URI) |
http://hdl.handle.net/11086/2775 |
942 ## - Elementos Agregados (KOHA) |
Source of classification or shelving scheme |
|
Koha item type |
Trabajo Especial de Grado |
945 ## - Inforación de Procesamiento Local (OCLC) |
Código del digitador |
MBO |
AAAA-MM-DD - Fecha de ingreso o modificacion |
2015-04-07 |
-- |
2020-06-08 |