¿Qué está mal?

Aviso: Antes de informar sobre un error con la descarga, por favor, prueba el enlace directo: Formalización de la semántica del lenguaje de programación Lua

Cargando...

Debes iniciar sesión para hacer esto.

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

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

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

Puntuación: 10.00 | 1 voto
| Enviando voto
| ¡Votado!
|

Detalles del libro:

pos
Global
pos
Categoría
Año:2015
Editor:Autoedición
Páginas:79 páginas
Idioma:español
Desde:03/12/2015
Tamaño:901 KB
Licencia:Pendiente de revisión

Contenido:

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. En ese sentido, 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 interés en disponer de un modelo formal del lenguaje, que permita el desarrollo de 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 librería estándar. A su vez, 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, versión 5.2, empleando su propia suite de pruebas.

Categorías:

Etiquetas:

Cargando comentarios...

Escaneando listas...

El libro en números

Posición global

posición en categorías

en catálogo desde

03/12/2015

puntuación

5

votos

1

'LIKES' sociales

Nothing yet...

Visitas

Descargas

Esto puede tardar un momento

Interés

Segmentación por países

Esto puede tardar un momento

Páginas de entrada

Segmentación por sitios web

evolución

Esto puede tardar un momento

Cargando...