Caballero, Rafael; Riesco, Adrián; Silva, Josep(Association for Computing Machinery, 2017-11)
[EN] Algorithmic debugging is a technique proposed in 1982 by E. Y. Shapiro in the context of logic programming. This survey shows how the initial ideas have been developed to become a widespread debugging schema ftting ...
Silva Galiana, Josep Francesc(Association for Computing Machinery (ACM), 2012)
This article surveys previous work on program slicing-based techniques. For each technique, we describe its features, its main applications, and a common example of slicing using such a technique. After discussing each ...
Skorczynska Sznajder, Hanna Teresa; Conejero López, Marta; Currás Móstoles, María Rosa; Montesinos López, Anna Isabel; Peña Martinez, Gemma(Editorial Universitat Politècnica de València, 2023-10-06)
[EN] This article reports a field study aimed at designing activities developing effective
communication in virtual contexts, which would be included in the language courses of the
degrees of Business Administration and ...
Tebar Albir, Sara(Universitat Politècnica de València, 2017-10-19)
[EN] Design and layout of a supporting content book, dedicated to the basic level contents of Korean language, focused on adult public who look for serious and qualitative teaching.
Carbó Calatayud, Judith(Universitat Politècnica de València, 2020-01-24)
[ES] El proyecto de escuela de idiomas se encuentra situado en la ronda Norte de la ciudad de Valencia, en el barrio de Orriols.
La zona de implantación de este se caracteriza por encontrarse en un límite entre la ciudad ...
[EN] Studying abroad implies a good opportunity to learn not only the language of the country where the academic institution is located, but primarily to acquire knowledge and other searching and teaching methodologies. ...
Olmo Cazevieille, Françoise; Labrador Piquer, María José(Editura ASE, 2019)
[EN] Project-Based Learning allows students to integrate the skills and knowledge acquired
during their training, as well as research skills as they will have to apply in their
professional future. In this work, we have ...
Rugino, Salvatore(Universitat Politècnica de València, 2021-11-30)
[EN] The social and spatial structures, the code as well as the languages recognized and created by the masters of the past are no longer adequate in our present time. Belonging to these structures today is no longer ...
Nowadays, many dynamic languages come with (some sort of) type
inference in order to detect type errors statically. Often, in order
not to unnecessarily reject programs which are allowed under a dynamic
type discipline, ...
Wang Wang, Jue(Universitat Politècnica de València, 2023-07-19)
[CA] El present projecte aborda la creació d’un llibre d’artista dirigit al públic
juvenil i adult interessats en la cultura, idioma, i tradició xinesa. El llibre es
compon d’una sèrie il·lustracions amb motius orientals ...
Length preserving morphisms and inverse of substitutions are two well-studied operations on regular languages. Their connection with varieties generated by power monoids was established independently by Reutenauer and ...