Donostia-San Sebastian, Spain 15-18 July 1996

Program chairs: Paqui Lucio, Maurizio Martelli, Marisa Navarro

Accepted papers (from DBLP): XI. III APPIA-GULP-PRODE (1996)

• Pedro Barahona. Constraint Logic Programming: Theory, Domain and Applications. pages 3-12
• Fernando Orejas. Algebraic Methods for the Study of Module Constructs in Logic Programming. pages 13-16
• María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal. Call-By Name Partial Evaluation of Functional Logic Programs. pages 17-28
• Michael Codish, Vitaly Lagoon, Francisco Bueno. Sharing Analysis for Logic Programs using Set Logic Programs. pages 29-40. Extended version on Journal of Logic Programming
• Sandro Etalle, Maurizio Gabbrielli. Layered Modes. pages 41-52. Extended version on Journal of Logic Programming
• Roberto Giacobazzi, Francesco Ranzato. Optimization of Disjunctive Abstract Interpretations. pages 53-66. Extended version appeared on ESOP’96
• Daniel Cabeza, Manuel V. Hermenegildo. Implementing Distributed Concurrent Constraint Execution in the CIAO System. pages 67-78
• Manuel Vilares Ferro, Miguel Angel Alonso Pardo. An LALR Extension for DCGs in Dynamic Programming. pages 79-88
• Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo. An Implementation Kernel for Theorem Proving with Equality Clauses. pages 89-104
• Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. pages 105-110. Extended version on Parallelism and Implementation of Logic and Constraint Logic Programming. Nova Science, 1999
• Steffen Hölldobler. Equational Logic and Theories of Action. pages 111-126
• M. C. F. Ferreira. Recursively Defined Term Orders. pages 127-138. Extended version
• Pedro J. Martín, Antonio Gavilanes. Semantic Tableaux for a Logic with Preorders and Dynamic Sorts. pages 139-154
• Giorgio Delzanno, Maurizio Martelli. Proofs as Computations in Linear Logic. pages 155-166. Extended version
• W. Marco Schorlemmer, Jaume Agustí-Cullell. Inclusional Theories in Declarative Programming. pages 167-178
• Alessandra Di Pierro, Wlodzimierz Drabent. On Quantified Negatives Queries. pages 179-190
• R. Arruabarrena, Marisa Navarro. On Extended Logic Languages supporting Program Structuring. pages 191-206
• Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck. Consumption-based Distributed Unification. pages 207-218
• Víctor M. Gulías, Juan J. Quintela, José Luis Freire. Towards High-Order Distribution in Functional Languages. pages 219-232
• Ramiro Varela, Camino R. Vela, Jorge Puente. Efficient Producer/Consumer Parallelism in Logic Programming. pages 233-244
• Luis A. Galán, Cristóbal Pareja, Ricardo Pena. Functional Skeletons Generate Process Topologies in Eden. pages 245-258. Extended version
• Michael Hanus, Salvador Lucas. A Denotational Semantics for Needed Narrowing. pages 259-270
• Thomas Eiter, Nicola Leone, Domenico Saccà. Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases. pages 271-282
• Francesco Buccafurri, Nicola Leone, Pasquale Rullo. Computing Disjunctive Ordered Logic. pages 283-294
• Stelvio Cimato, Cecilia Mascolo. Analyzing and Animating Declarative Specifications. pages 295-308
• Pierre Lescanne. Calculi of Explicit Substitutions: New Results. pages 309-328
• Sergio Greco. Extending Datalog with Choice and Weak Constraints. pages 329-340. Extended version appeared as Non-determinism and weak constraints in Datalog. New Generation Computing, December 1998, Volume 16, Issue 4, pp 373-395.
• Sergio Greco, Eugenio Spadafora. Implementation of Chain Logic Queries. pages 341-352
• Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella. The And-compositionality of CLP Computed Answer Constraints. pages 355-366
• Enea Zaffanella. Modular Analysis of Suspension Free cc Programs. pages 367-378
• F. Le Berre, Alexandre Tessier. Declarative Incorrectness Diagnosis in Constraint Logic Programming. pages 379-390
• Salvatore Ruggieri. On Termination of Constraint Logic Programs. pages 391-406. Extended version appeared in Automata, Languages and Programming, 24th International Colloquium, ICALP ’97 Bologna, Italy, July 7–11, 1997 Proceedings, LNCS 1256, Springer 1997
• Rob R. Hoogerwoord. Programming by Calculation. pages 407-426
• Juan José Moreno-Navarro, Julio Mariño, A. del Pozo-Pietro, Ángel Herranz-Nieva, Julio García-Martín. Adding Type Classes to Functional-Logic Languages. pages 427-438
• Jesús Manuel Almendros-Jiménez. Type Inference and Checking for POS-typed Functional Logic Programs. pages 439-450
• Puri Arenas-Sánchez, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Eva Ullán. Real Constraints within a Functional Logic Language. pages 451-464
• Paolo Volpe. Abstract Interpretation for Uniform Proof Systems. pages 465-480
• Giorgio Levi, Fausto Spoto. Accurate Analysis of Prolog with cut. pages 481-492
• Roberto Bagnara. Straight ROBDDs are not the Best for Pos. pages 493-498
• Vasco Pedro, Luís Monteiro. Modules and Specifications. pages 499-510. Extended version on JELIA’96
• J. Baptista, Luís Monteiro. Handling Calls to Missing Predicates. pages 511-522
• Evelina Lamma, Paola Mello, Michela Milano. Enhancing Constraint Logic Programming through Meta Programming. pages 523-534
• Antonio Brogi, Simone Contiero. Specialising Meta-level Compositions of Logic Programs. pages 535-548. Extended version in LOPSTR ’96
• Renwei Li, Luís Moniz Pereira. Reasoning about Concurrent Actions and Observations. pages 549-560
• Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego. Executing Intensional Logic with the TAS Tool. pages 561-566
• Giuseppe Manco, Alessandra Raffaetà, Franco Turini. Modeling Object Dynamics in Object-Oriented Logic Programming. pages 567-580. Preliminary version
• Blas C. Ruiz, José E. Gallardo, P. Guerrero, Francisco Gutiérrez. Clasificacion de Objetos Funcionales en Entornos Concurrentes. pages 581-584