Certifying compilers use static information of a program to verify that it complies with certain security properties and to generate certified code. To do so, those compilers translate the source program into an annotated program written in some intermediate language.…

AbstractThis article is based on a subset of data gathered in a bi-national PhD study regarding measures of parental encouragement when comparing immigrant background and native students (n=233) in Catalonia (Spain) and California. The ANOVA means comparisons of parental encouragement…

Presentamos SPLICR, una plataforma de sostenibilidad para corpus y
recursos lingüísticos basada en web. El sistema está destinado a personas que trabajan en el campo de la lingüística o de la lingüística computacional. Consiste en
una base de…

Los resultados obtenidos mediante el Análisis Canónico en 32
muestras poblacionales pertenecientes a 24 taxones, que corresponden
a 14 grupos de Bechyné (1948), proporcionan pruebas acerca del
estado taxonómico y evolutivo en múltiples taxones de Timarcha. Los
datos biométricos se…

This volume stems from the assumption that metalinguistic awareness, a skill developed during first language acquisition, is also fundamental to the development of second language competence in children. (...)Este volumen se deriva de la hipótesis de que la conciencia metalingüística,…

En grande partie, ce volume 5.3 aborde des questions de multiculturalisme et de mondialisation en éducation. (...)In a large part, volume 5.3 is about international and intercultural aspects of education. (...)En gran parte, el volumen 5,3 trata de educación internacional…

AbstractProfessor Numa P. Markee is Associate Professor of Linguistics at the University of Illinois at Urbana-Champaign (United States) where he teaches courses in Conversation Analysis, Second Language Acquisition, Task Based Language Teaching and in Language Program Administration. His principal research interests…

AbstractThis article outlines the advantages of using literature to aid the transition into the host country for newly arrived children and to help establish a bridge between their identities and their reading skills, communicative capacities and the demands of school.…

Introduction: The nutritional registries are data bases through which we obtain the information to understand the nutrition of populations. Several main nutrition societies of the world have these types of registries, outstanding the NADYA (Home artificial and Ambulatory nutrition) group…

El género Apteranthes Mikan se considera constituido por unos ocho táxones, en su mayoría distribuidos por el norte de África. Sin embargo, algunos de sus componentes han sido infravalorados en las revisiones más recientes del género, pese a estar bien…