Buscar
Mostrando ítems 11-20 de 491
Formal semanticsSemántica formalSemântica formal
(Programa de Pós-Graduação em Linguística - UFSC, 2020)
La nueva trama de Burberry
(Facultad de Diseño y Comunicación. Universidad de Palermo, 2020)
Lexicon availability in English as a second language in formal learningLEXICO DISPONIBLE EN INGLES COMO SEGUNDA LENGUA EN INSTRUCCION FORMALIZADA
(Universidad Austral de Chile, Facultad de Filosofía y Humanidades., 2018)
Neurocognitive determinants of performance variability among world-language users
(Routledge Journals, Taylor & Francis Ltd, 2014-04)
Although the notion of world language has been variously defined, most accounts acknowledge inter-user performance variability as a key aspect of the construct. The sociocultural aspects of such a phenomenon have been ...
Decoding Lua: formal semantics for the developer and the semanticist
(Association for Computing Machinery, 2018-04)
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 ...
Specification Patterns: Formal and Easy
(World Scientific, 2015-05)
Property specification is still one of the most challenging tasks for transference of software verification technology. The use of patterns has been proposed in order to hide the complicated handling of formal languages ...
Metamodel-based formalization of DEVS atomic models
(Sage Publications Ltd, 2021-09-14)
The Discrete-Event System Specification (DEVS) formalism is a modeling formalism based on systems theory that provides a general methodology for hierarchical construction of reusable models in a modular way. When concrete ...
Phonological grammar and the teaching of english as an additional language: bringing formal and applied linguistics togetherGramática fonológica e ensino de inglês como língua adicional: aproximando a linguística formal da linguística aplicada
(Programa de Pós-Graduação em Linguística da UFSC, 2018)