Charla invitada

Taller de Programación Funcional

• Verificación y eficiencia en programas para el cálculo simbólico: estudio de un caso

  Francisco Jesús Martín Mateos, José Luis Ruiz Reina, Julio Rubio García, Laureano Lambán Pardo

  págs. 7-14

  

• Implementing datalog in Maude

  María Alpuente Frasnedo, Marco A. Feliú, Christophe Joubert, Alicia Villanueva García

  págs. 15-22

  

• Explicity typed exceptions for Haskell

  José Iborra López

  págs. 23-30

  

• Experiences in developing a complier for Safe using Haskell

  Manuel Francisco Montenegro Hermida, Ricardo Peña Marí, Clara Segura

  págs. 31-38

  

• Implementing memory reusing in the UHC Haskell complier

  Henrique Ferreiro, David Castro, Víctor M. Gulías, Atze Dijkstra

  págs. 39-46

  

Tipos, estructuras de datos y gestión de memoria

• Hacia un sistema de tipos estático y dinámico

  Francisco Ortín Soler, Daniel Zapico Palacio

  págs. 49-64

  

• Certified absence of dangling pointers in a language withe explicit deallocation

  Javier de Dios Castro, Ricardo Peña Marí, Manuel Francisco Montenegro Hermida

  págs. 65-74

  

• Live heap space analysis for languages with garbage collection

  Samir Genaim, Elvira Albert, Miguel Gómez-Zamalloa Gil

  págs. 75-76

  

• A rule based implementation of XQuery

  Jesús Manuel Almendros Jiménez

  págs. 77-86

  

Herramientas y sistemas software

• An implementation of the MEB and CEB analysis for CSP

  María Luisa Llorens Agost, Francisco Javier Oliver Villarroya, Josep Silva, Salvador Tamarit

  págs. 89-98

  

• UNICORN: a programming enviroment for busi-prolog

  Clemente Rubio Manzano, Pascual Julián Iranzo

  págs. 99-108

  

• The tccp interpreter

  Alexei Lescaylle Daudinot, Alicia Villanueva García

  págs. 109-118

  

• TOY: a system for experimenting with cooperation of constraint domains

  Sonia Estévez Martín, Antonio Fernández Caballero, Fernando Sáenz Pérez

  págs. 118-128

  

• NiMoToons: a totally graphic workbench for program tuning and experimentation

  Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo

  págs. 129-138

  

• Termination and cost analysis with COSTA and its user interfaces

  Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini, Diana Vanessa Ramírez Deantes, Miguel Gómez-Zamalloa Gil, Guillermo Román Díez

  págs. 139-148

  

Razonamiento, lógica y semánticas

• A new proposal for using first-order theorem provers to reason with OWL DL ontologies

  Mikel Alecha, Javier Álvez, Montserrat Hermo Huguet, Egoitz Laparra Martín

  págs. 151-160

  

• Implementación de una semántica de punto fijo para un sistema de bases de datos deductivas con restricciones

  Gabriel Aranda López, Susana Nieva Soto, Fernando Sáenz Pérez, Jaime Sánchez Hernández

  págs. 161-176

  

• A fully abstract semantics for constructor systems

  Francisco Javier López Fraguas, Juan Rodríguez Hortalá, Jaime Sánchez Hernández

  págs. 177-178

  

• Nominal logic from a higher-order perspective

  Jordi Levy, Mateu Villaret

  págs. 179-180

  

• Efficient execution in an automated reasoning environment

  José Luis Ruiz Reina, David A. Greve, Matt Kaufmann, Panagiotis Manolios, J. Moore, Sandip Ray, Robert Sumners, Daron Vroon, Matthew Wilding

  • Texto completo

  págs. 181-182

  

Programación lógico funcional y con restricciones

• A graphical user interface for Maude-NPA

  Sonia Santiago, Carolyn Talcott, Santiago Escobar Román, Catherine Meadows, José Meseguer Guaita

  págs. 185-200

  

• Integración de ILOG CP en TOY

  Ignacio Castiñeiras, Fernando Sáenz Pérez

  págs. 201-216

  

• Cooperation of the finite domain and set solvers in TOY

  Sonia Estévez Martín, Antonio Fernández Caballero, Fernando Sáenz Pérez

  págs. 217-226

  

• Advances in type systems for functional-logic programming

  Francisco Javier López Fraguas, Enrique Martín Martín, Juan Rodríguez Hortalá

  págs. 227-236

  

Análisis de terminación

• Automatic proofs of termination with elementary interpretations

  Salvador Lucas Alba

  págs. 239-254

  

• Using Matrix interpretations over the reals in proofs of termination

  Beatriz Alarcón Jiménez, Salvador Lucas Alba, Rafael Navarro Marset

  págs. 255-264

  

• Mechanizing proofs of termination in the context-sensitive dependency pairs framework

  Raúl Gutiérrez Gil, Salvador Lucas Alba

  págs. 265-274

  

• A fast procedure for the strong termination analysis of logic programs

  Michael Leuschel, Salvador Tamarit, Germán Vidal Oriola

  págs. 275-284

  

CSP, concurrencia y pereza

• A semantics for tracing CSP

  María Luisa Llorens Agost, Francisco Javier Oliver Villarroya, Josep Silva, Salvador Tamarit

  págs. 287-302

  

• A system for CSP solving through satisfiability Modulo theories

  Miquel Bofill, Miquel Palahí, Mateu Villaret

  págs. 303-312

  

• To be or not to be...lazy (in a parallel context)

  Mercedes Hidalgo Herrero, Yolanda Ortega Mallén

  págs. 313-328

  

• Properties of an operational semantics for distributed lazy evaluation

  Lidia Sánchez Gil, Mercedes Hidalgo Herrero, Yolanda Ortega Mallén

  págs. 329-338

  

Programación lógica temporal y difusa

• A new approach to temporal logic programming

  José Gaintzarain Ibarmia, Lucio Paqui

  págs. 341-350

  

• Similitary based reasoning in qualified logic programming

  Rafael Caballero, Mario Rodríguez Artalejo, Carlos A. Romero Díaz

  págs. 351-352

  

• Modeling interpretative steps in fuzzy logic computations

  Pedro José Morcillo, Ginés Damián Moreno Valverde

  págs. 353-354

  

• A practical approach for ensuring completeness of multi-adjoint logic computations via General Reductants

  Pedro José Morcillo, Ginés Damián Moreno Valverde

  págs. 355-363