Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category ...

We provide formal semantics for a large subset of the Lua programming language, in its version 5.2. We validate our model by mechanizing it and testing it against the test suite of the reference interpreter of Lua, con ...

Expandable collections are collections whose size may vary as elements are added and removed. Hash maps and ordered collections are popular expandable collections. Expandable collection classes offer an easy-to-use API, ...

Lua es un lenguaje de programación imperativo de scripting, que ofrece tipado dinámico, manejo automático de memoria, facilidades para la descripción de datos, y mecanismos de metaprogramación para adaptar el lenguaje a ...

La tesis presentada es un trabajo de investigación y desarrollo de una aplicación interactiva educativa para niños de 3 a 5 años utilizando el middleware Ginga en su versión libre Ginga-NCL y ayudándonos del lenguaje script ...

The present study aims to understand the importance of forro as musical genre of the Northeast Culture, as well as to evidence the possible influences of native contacts suffered with English and American culture, on the ...