Información del autor
Documentos disponibles escritos por este autor (16)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Martín Martín, Enrique | 2009Los lenguajes declarativos proporcionan un nivel de programación más alto y abstracto que los lenguajes imperativos tradicionales. Los lenguajes funcionales y los lógicos son los dos paradigmas declarativos más importantes, y su combinación ha s[...]texto impreso
Martín Martín, Enrique ; Riesco Rodríguez, Adrián ; Montenegro Montes, Manuel ; Tamarit Muñoz, Salvador ; Sánchez Hernández, Jaime ; Gregorio Rodríguez, Carlos | 2016-01-28Proponemos estudiar la aplicabilidad y posibles medios de implementación de un sistema de tutoriales interactivos para el aprendizaje de la programación, donde el alumno aprende nuevos conceptos a la vez que los practica.texto impreso
Martín Martín, Enrique ; Montenegro Montes, Manuel ; Riesco Rodríguez, Adrián ; Rosa Velardo, Fernando ; Tamarit Muñoz, Salvador | 2015En este trabajo proponemos un sistema colaborativo para aprendizaje de lenguajes de programacióntexto impreso
Montenegro Montes, Manuel ; Martín Martín, Enrique ; Riesco Rodríguez, Adrián ; Saavedra López, Santiago ; Suárez García, Gorka | 2019-06-29En este proyecto se extiende el conjunto de herramientas del proyecto Innova-Docencia nº 49 (2016/2017) introduciendo un asistente que permite, de modo interactivo, navegar y realizar operaciones por lotes en todas las entregas de un mismo ejercicio.texto impreso
Caballero Roldán, Rafael ; Martín Martín, Enrique ; Montenegro Montes, Manuel ; Riesco Rodríguez, Adrián ; Tamarit Muñoz, Salvador | 2016-01Memoria del PIMCD 32/2015, donde presentamos una herramienta colaborativa para aprender lenguajes de traducción mediante traducción llamada DuoCode.texto impreso
texto impreso
We propose a new type system for functional logic programming which is more liberal than the classical Damas-Milner usually adopted, but it is also restrictive enough to ensure type soundness. Starting from Damas-Milner typing of expressions we [...]texto impreso
We propose a new type system for functional logic programming which is more liberal than the classical Damas-Milner usually adopted, but it is also restrictive enough to ensure type soundness. Starting from Damas-Milner typing of expressions we [...]texto impreso
Albert Albiol, Elvira ; Arenas Sánchez, Puri ; Correas Fernández, Jesús ; Genaim, Samir ; Gómez Zamalloa, Miguel ; Martín Martín, Enrique ; Puebla, Germán ; Román Díez, Guillermo | 2015-06Resource analysis aims at automatically inferring upper/lower bounds on the worst/best-case cost of executing programs. Ideally, a resource analyzer should be parametric on the cost model, i.e., the type of cost that the user wants infer (e.g., [...]texto impreso
López Fraguas, Francisco J. ; Martín Martín, Enrique ; Rodríguez Hortalá, Juan ; Sánchez Hernández, Jaime | Cambridge University Press | 2014-03Non-confluent and non-terminating constructor-based term rewrite systems are useful for the purpose of specification and programming. In particular, existing functional logic languages use such kind of rewrite systems to define possibly non-stri[...]texto impreso
Albert Albiol, Elvira ; Arenas Sánchez, Purificación ; Flores Montoya, A. ; Genaim, Samir ; Gómez-Zamalloa Gil, Miguel ; Martín Martín, Enrique ; Puebla, G. ; Román Díez, Guillermo | Springer | 2014We present the main concepts, usage and implementation of SACO, a static analyzer for concurrent objects. Interestingly, SACO is able to infer both liveness(namely termination and resource boundedness) and safety properties (namely deadlock free[...]texto impreso
Type systems are widely used in programming languages as a powerful tool providing safety to programs. Functional logic languages have inherited Damas-Milner type system from their functional part due to its simplicity and popularity. In this pa[...]texto impreso
La programación lógico-funcional es un paradigma de programación declarativa muy expresivo, fruto de la combinación de la programación funcional y la programación lógica. Entre sus principales características destacan la posibilidad de de1nir fu[...]texto impreso
Albert Albiol, Elvira ; Correas Fernández, Jesús ; Martín Martín, Enrique ; Román Díez, Guillermo | 2014-10We present a static analysis to infer the amount of data that a distributed system may ransmit. The different locations of a distributed system communicate and coordinate their actions by posting tasks among them. A task is posted by building a [...]texto impreso
