GULP-PRODE ’94: 1994 Joint Conference on Declarative Programming
Peñiscola (Spain). September 19-22, 1994

Program Chairs: María Alpuente, Roberto Barbuti and Isidro Ramos.

Proceedings: Volume I – Volume II

Papers:
John W. Lloyd: Practical Advtanages of Declarative Programming.
Michael Nitsche: Analysis and Refinement of Constraint Answer Sets in a Planning System.
Paolo Mascellani, Dino Pedreschi: Proving termination of Prolog programs.
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal: A Compositional Semantics for Conditional Term Rewriting Systems.
Roberto Giacobazzi: Characterizing Abstract Program Properties by Abduction.
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck: An Abstract Interpretation Framework for (almost) Full Prolog.
Paolo Volpe: Semantics of Concurrent Logic Programming as Uniform Proofs.
Salvador Lucas, Javier Oliver: El lambda-calculo Etiquetado Paralelo (LCEP).
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi: Confluence and Concurrent Constraint Programming.
F. Buffoli: Split Resolution Tailoring Tableaux to Refute Clause Sets.
Marco Comini, Giorgio Levi: An Algebraic Theory of Observables.
Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi, Alain Hui-Bon-Hoa: Fixpoint Semantics of L lambda.
Maurizio Proietti, Alberto Pettorossi: Total correctness of a goal replacement rule based on the unfold/fold proof method.
Sandro Etalle, Maurizio Gabbrielli: Modular Transformations of CLP Programs.
K. Bohlmann, Rita Loogen, Yolanda Ortega-Mallén: Towards a Functional Process Calculus.
Ramiro Varela: El modelo RPS para la gestion del paralelismo AND independiente en programas logicos.
José E. Gallardo, P. Guerrero, Blas C. Ruiz: Monadas y Procesos Funcionales Comunicantes.
Francisco Bueno: Methods for Automatic Compile-time Parallelization of Logic Programs: the MEL, CDG and UDG Algorithms Revisited.
Nai-Wei Lin: Optimizing Logic Programs with Finite Domain Constraints.
Roberto Bagnara: On the Detection of Implicit and Redundant Numeric Constraint in CLP Programs.
Michael Codish, Bart Demoen: Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop.
María-del-Mar Gallardo, José M. Troya: Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation.
Gilberto Filé, Francesco Ranzato: Improving Abstract Interpretations by Systematic Lifting to the Powerset.
Agostino Cortesi, Gilberto Filé, William H. Winsborough: The Quotient of an Abstract Interpretation for Comparing Static Analyses.
Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa: Loop Checking for Reduced SLD-derivations.
Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi: Solving Systems of Equations over Hypersets.
Dino Pedreschi, Salvatore Ruggieri: Termination is Language-Independent.
Anastasia Analyti, Sakti Pramanik: Semantics for Reasoning with Contradictory Extended Logic Programs.
Francesco Buccafurri, Nicola Leone, Pasquale Rullo: A non-deterministic semantics for ordered logic programs.
Roberta Gori, Giorgio Levi: Finite Failure is AND-Compositional.
Lluís Vila, Gonzalo Escalada-Imaz: Temporal Token Calculus: a Temporal Reasoning Approach for Knowledge-Based.
S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone: Extending Explanation-Based Generalization with Metalogic Programming.
Hendrik Decker, Juan Carlos Casamayor: Sustained Models and Sustained Answers in First-Order Databases.
Giuseppe Plagenza: Abductive Update of Deductive Databases.
José Francisco Aldana Montes, Enrique Alba, José M. Troya: D2: A Model for Datalog Parallel Evaluation.
Matilde Celma, Carlos Garcia, María Angeles Pastor: Restricciones de integridad dinamicas en bases de datos deductivas: una aproximacion basada en logica temporal.
Cristina Ruggieri, Mirko Sancassani: IDEA: Intelligent Data Retrieval in Prolog.
M. Fabris, Adriano Tirabosco, C. Chiopris: Optimal Management of a Large Computer Network with CHIP.
Puri Arenas-Sánchez, Ana Gil-Luezas: A Debugging Model for Lazy Functional Logic Languages.
Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini: Everything buT Assignment.
F. J. Duran, Ernesto Pimentel, José M. Troya: Comunicacion entre objetos mediante la unificacion de canales logicos.
Michele Bugliesi, Hasan M. Jamil: A Logic for Encapsulation in Object-Oriented Languages.
B. Grima, José Ambrosio Toval Álvarez: Una formalizacion algebraica de la notacion “objectcharts”: validacion y verificacion de especificaciones orientadas a objetos de sistemas reactivos.
Jaume Devesa, Jose Cuevas, Isidro Ramos: Implementation of A Term Rewriting System for Solving Process Queries in an Object-Oriented Environment.
Elisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi: A Bottom-Up Interpreter for a Database Language with Updates and Transactions.
Paola Bruscoli, Alessio Guglielmi: Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency.
Fernando Sáenz, Werner Hans, José J. Ruz, Stephan Winkler: A Babel Parallel System: VHDL Modelling for Performance Measurement.
Francesca Arcelli Fontana, Ferrante Formato, Giulio Iannello: On the parallel implementation of the higher order logic language lambda Prolog.
Verónica Dahl, Paul Tarau, Yan-Nong Huang: Datalog Grammars.
Lidia Moreno, Manuel Palomar: Tratamiento de la ambiguedad de origen preposicional a traves de la logica.
Luigi Liquori, Maria Luisa Sapino: Dealing with Explicit Exceptions in Prolog.
Manuel Enciso, Inman P. de Guzmán, Carlos Rossi: A Temporal Logic for Program Specification.
Matteo Baldoni, Laura Giordano, Alberto Martelli: A Modal Extension of Logic Programming.
Iliano Cervesato, Luca Chittaro, Angelo Montanari: What the Event Calculus actually does, and how to do it efficiently.
José Luis Freire, Víctor M. Gulías, J. M. Molinelli: Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos.
Mirko Sancassani, G. Dore, Ugo Manfredi: The IDEA User Interface: the Power of Logic Programming in GUI Implementations.
Filomena Ferrucci, Vincenzo Loia, Giuliano Pacini, Maria I. Sessa: A Sleeper-based Prolog Interpreter with Loop Checks.
Luis A. Galán, Manuel Núñez, Cristóbal Pareja, Ricardo Pena: Non Homomorphic Reductions of Data Structures.
Antonio Brogi, Chiara Renso, Franco Turini: Amalgamating Language and Meta-language for Composing Logic Programs.
S. Clerici, R. Peña: Generic Classes Parameterized by Data Structures.
Gabriel Aguilera, José Luis Galán, Inman P. de Guzmán, Manuel Ojeda-Aciego: TAS-D++ vs tablas semanticas.
Domenico Aquilino, Patrizia Asirelli, Paola Inverardi: Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces.
Ugo Manfredi, Mirko Sancassani: LogicSQL: Augmenting SQL with Logic.
Nikos Mylonakis, J. Perez Campo: A Type Checking Tool for a Formal Specification Language.
Oscar Pastor, Isidro Ramos, Jose Cuevas, Jaume Devesa: OASIS 2.0: An Object Definition Language for Object Oriented Databases.
G. Ramos: LANM, SRA y Contradiccion.
José A. Troyano, Jesús Torres, Miguel Toro: Especificacion orientada a objetos desde un enfoque algebraico.
Jordi Tubella, Antonio González: Combining depth-first and breadth-first search in Prolog execution.