Trabajos originales
-
Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows and José Meseguer.
A Graphical User Interface for Maude-NPA
- Marisa Llorens, Javier Oliver, Josep Silva and Salvador Tamarit.
A Semantics for Tracing CSP
- Francisco Ortin and Daniel Zapico.
Hacia un sistema de tipos estático y dinámico
- Mercedes Hidalgo-Herrero and Yolanda Ortega-Mallén.
To be or not to be... lazy (in a parallel context)
- Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez and Jaime Sánchez-Hernández.
Implementación de una semántica de punto fijo para un sistema de bases de datos deductivas con restricciones
- Salvador Lucas.
Automatic proofs of termination with elementary interpretations
- Nacho Castiñeiras and Fernando Sáenz.
Integración de ILOG CP en TOY
Arriba
Demostraciones de herramientas y sistemas software
- Marisa Llorens, Javier Oliver, Josep Silva and Salvador Tamarit.
An implementation of the MEB and CEB analyses for CSP.
- Pascual Julián-Iranzo and Clemente Rubio-Manzano.
UNICORN: A Programming Environment for Bousi~Prolog.
- Alexei Lescaylle and Alicia Villanueva.
The tccp Interpreter
- Estevez-Martin Sonia, Fernandez Antonio and Saenz-Perez Fernando.
TOY: A System for Experimenting with Cooperation of Constraint Domains
- Silvia Clerici, Cristina Zoltan and Guillermo Prestigiacomo.
NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation
- Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini, Diana Vanessa Ramírez Deantes, Miguel Gomez-Zamalloa and Guillermo Román-Díez.
Termination and Cost Analysis with COSTA and its User Interfaces
Arriba
Divulgación de trabajos ya publicados
- Jose-Luis Ruiz-Reina, David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Moore, Sandip Ray, Rob Sumners, Daron Vroon and Matthew Wilding.
Efficient execution in an automated reasoning environment
- Rafael Caballero, Mario Rodríguez-Artalejo and Carlos A. Romero-Díaz.
Similarity-based Reasoning in Qualified Logic Programming
- Francisco Javier Lopez-Fraguas, Juan Rodriguez-Hortala and Jaime Sánchez-Hernández.
A Fully Abstract Semantics for Constructor Systems
- Pedro Jose Morcillo and Gines Moreno.
Modeling Interpretive Steps in Fuzzy Logic Computations
- Jordi Levy and Mateu Villaret.
Nominal Logic from a Higher-Order Perspective
- Elvira Albert, Samir Genaim and Miguel Gomez-Zamalloa.
Live Heap Space Analysis for Languages with Garbage Collection
Arriba
Trabajos en progreso
- Jose Gaintzarain and Paqui Lucio.
A New Approach to Temporal Logic Programming
- Mikel Alecha, Javier Álvez, Montserrat Hermo and Egoitz Laparra.
A New Proposal for Using First-Order Theorem Provers to Reason with OWL DL Ontologies
- Michael Leuschel, Salvador Tamarit and German Vidal.
A Fast Procedure for the Strong Termination Analysis of Logic Programs
- Jesus Manuel Almendros Jimenez.
A Rule-based Implementation of XQuery
- Francisco Javier López-Fraguas, Enrique Martin-Martin and Juan Rodríguez-Hortalá.
Advances in Type Systems for Functional-Logic Programming
- Estevez-Martin Sonia, Fernandez Antonio and Saenz-Perez Fernando.
Cooperation of the Finite Domain and Set Solvers in TOY
- Javier de Dios, ricardo pena and Manuel Montenegro.
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation
- Miquel Bofill, Miquel Palahí and Mateu Villaret.
A system for CSP solving through Satisfiability Modulo Theories
- Beatriz Alarcón, Salvador Lucas and Rafael Navarro-Marset.
Using Matrix Interpretations over the Reals in Proofs of Termination
- Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero and Yolanda Ortega-Mallén.
Properties of an Operational Semantics for Distributed Lazy Evaluation
- Pedro Jose Morcillo and Gines Moreno.
A Practical Approach for Ensuring Completeness of Multi-adjoint Logic Computations via General Reductants
- Raúl Gutiérrez and Salvador Lucas.
Mechanizing Proofs of Termination in the Context-Sensitive Dependency Pairs Framework
Arriba
Trabajos asociados al taller de programación funcional TPF'09
- Francisco-Jesus Martin-Mateos, Jose-Luis Ruiz-Reina, Julio Rubio and Laureano Lamban.
Implementación eficiente y segura de programas para el Cálculo Simbólico: estudio de un caso
- Manuel Montenegro, Ricardo Peña and Clara Segura.
Experiences in developing a compiler for Safe using Haskell
- Henrique Ferreiro, David Castro, Víctor M. Gulías and Atze Dijkstra.
Implementing memory reusing in the UHC Haskell compiler
- José Iborra.
Explicitly Typed Exceptions for Haskell
- María Alpuente, Marco A. Feliú, Christophe Joubert and Alicia Villanueva.
Implementing Datalog in Maude
Arriba
