Artículos aceptados PROLE

Jesus M. Almendros-Jimenez and Luis Iribarne. PTL: A Prolog based Model Transformation Language. Trabajos en progreso.

Alejandro Acosta, Francisco Almeida and Vicente Blanco. Paralldroid: a source to source translator for development of native Android applications. Trabajos en progreso.

Lidia Sánchez Gil, Mercedes Hidalgo-Herrero and Yolanda Ortega-Mallén. A formalization of Launchbury's natural semantics for lazy evaluation in Coq. Trabajos en progreso.

Miquel Bofill Arasa, Joan Espasa Arxer, Miquel Palahí Sitges and Mateu Villaret. An extension to Simply for solving Weighted Constraint Satisfaction Problems with Pseudo-Boolean Constraints. Trabajos en progreso.

Jesús M. Almendros-Jiménez, Alejandro Luna Tedesqui and Ginés Moreno. Debugging Fuzzy-XPath Queries. Trabajos en progreso

Laura Panizo and Maria Del Mar Gallardo. Analyzing Hybrid Systems with JPF. Trabajos en progreso.

Ignacio Castiñeiras and Fernando Saenz-Perez. Improving the Performance of FD Constraint Solving in a CFLP System. Trabajos de alto nivel ya publicados o en vías de publicación.

Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro and Fernando Orejas. Invariant-Free Clausal Temporal Resolution. Trabajos de alto nivel ya publicados o en vías de publicación.

Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro. Semantics of structured normal logic programs. Trabajos de alto nivel ya publicados o en vías de publicación.

Marco Comini, Laura Titolo and Alicia Villanueva. Abstract diagnosis for timed concurrent constraint programs. Trabajos de alto nivel ya publicados o en vías de publicación.

Damián Adalid, Alberto Salmerón, Maria Del Mar Gallardo and Pedro Merino. Testing Temporal Logic on Infinite Java Traces. Trabajos de alto nivel ya publicados o en vías de publicación.

Jose F. Morales , Rémy Haemmerlé , Manuel Carro and Manuel Hermenegildo. Lightweight Compilation of (C)LP to JavaScript. Trabajos de alto nivel ya publicados o en vías de publicación

Dragan Ivanovic, Manuel Carro and Manuel Hermenegildo. Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. Trabajos de alto nivel ya publicados o en vías de publicación.

Pablo Chico De Guzmán, Manuel Carro, Manuel Hermenegildo and Peter Stuckey. A General Implementation Framework for Tabled CLP. Trabajos de alto nivel ya publicados o en vías de publicación

David Duque and Laura M. Castro. Tecnología funcional en aplicaciones de televisión interactiva: acceso a redes sociales con Synthetrick. Trabajos originales.

Pedro J. Morcillo, Gines Moreno, Jaime Penabad and Carlos Vázquez. String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations. Trabajos originales.

Fernando Saenz-Perez. Tabling with Support for Relational Features in a Deductive Database. Trabajos originales.

Simone Santini. Regular queries in event systems with bounded uncertainty. Trabajos originales.

Rafael Caballero, Jose Luzón-Martín and Antonio Tenorio. Test-Case Generation for SQL Nested Queries with Existential Conditions. Trabajos originales.

Enrique Chavarriaga, Fernando Díez and Alfonso Díez. Intérprete PsiXML para gramáticas de mini-Lenguajes XML en aplicaciones Web. Trabajos originales.

David Insa, Josep Silva and César Tomás. Mejora del rendimiento de la depuración declarativa mediante compresión y expansión de bucles. Trabajos originales.