Formalización de la semántica del lenguaje de programacion Lua / (Registro nro. 17167)

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
Existencias
Estado de retiro Existencia (perdido o no perdido) Fuente de clasificación o esquema de estanterías Estado general No para préstamo Forma de Adquisición Ubicación (sede de origen) Sububicacón o colección (sede poseedora del item) Estantería donde se ubica Fecha de adquisición o compra Fuente de adquisición Signatura topográfica Número de inventario (código de barras) Última vez visto (Koha) Número de copia Fecha del precio de reemplazo Tipo de ítem (Koha) Nota pública
        DONACIÓN FaMAF FaMAF Secc. Tesis y Trabajos especiales 30/03/2015 Donación del autor Trabajo Especial Computación CAJA 18 - 22226 22226 21/07/2017 1 07/04/2015 Trabajo Especial de Grado Disponible también en línea.


Nuestras Redes Sociales

facebook Instagram

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

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 (Dirección)

publicofamaf@gmail.com (Atención al público)