APPIA-GULP-PRODE 1996:
Donostia-San Sebastian,
Spain
Paqui Lucio, Maurizio Martelli, Marisa Navarro (Eds.):
1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996.
1996 
- Pedro Barahona:
Constraint Logic Programming: Theory, Domain and Applications.
3-12
- Fernando Orejas:
Algebraic Methods for the Study of Module Constructs in Logic Programming.
13-16
- María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal:
Call-By Name Partial Evaluation of Functional Logic Programs.
17-28
- Michael Codish, Vitaly Lagoon, Francisco Bueno:
Sharing Analysis for Logic Programs using Set Logic Programs.
29-40
- Sandro Etalle, Maurizio Gabbrielli:
Layered Modes.
41-52
- Roberto Giacobazzi, Francesco Ranzato:
Optimization of Disjunctive Abstract Interpretations.
53-66
- Daniel Cabeza, Manuel V. Hermenegildo:
Implementing Distributed Concurrent Constraint Execution in the CIAO System.
67-78
- Manuel Vilares Ferro, Miguel Angel Alonso Pardo:
An LALR Extension for DCGs in Dynamic Programming.
79-88
- Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo:
An Implementation Kernel for Theorem Proving with Equality Clauses.
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.
105-110
- Steffen Hölldobler:
Equational Logic and Theories of Action.
111-126
- M. C. F. Ferreira:
Recursively Defined Term Orders.
127-138
- Pedro J. Martín, Antonio Gavilanes:
Semantic Tableaux for a Logic with Preorders and Dynamic Sorts.
139-154
- Giorgio Delzanno, Maurizio Martelli:
Proofs as Computations in Linear Logic.
155-166
- W. Marco Schorlemmer, Jaume Agustí-Cullell:
Inclusional Theories in Declarative Programming.
167-178
- Alessandra Di Pierro, Wlodzimierz Drabent:
On Quantified Negatives Queries.
179-190
- R. Arruabarrena, Marisa Navarro:
On Extended Logic Languages supporting Program Structuring.
191-206
- Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck:
Comsumption-based Distributed Unification.
207-218
- Víctor M. Gulías, Juan J. Quintela, José Luis Freire:
Towards High-Order Distribution in Functional Languages.
219-232
- Ramiro Varela, Camino R. Vela, Jorge Puente:
Efficient Producer/Consumer Parallelism in Logic Programming.
233-244
- Luis A. Galán, Cristóbal Pareja, Ricardo Pena:
Functional Skeletons Generate Process Topologies in Eden.
245-258
- Michael Hanus, Salvador Lucas:
A Denotational Semantics for Needed Narrowing.
259-270
- Thomas Eiter, Nicola Leone, Domenico Saccà:
Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases.
271-282
- Francesco Buccafurri, Nicola Leone, Pasquale Rullo:
Computing Disjunctive Ordered Logic.
283-294
- Stelvio Cimato, Cecilia Mascolo:
Analyzing and Animating Declarative Specifications.
295-308
- Pierre Lescanne:
Calculi of Explicit Substitutions: New Results.
309-328
- Sergio Greco:
Extending Datalog with Choice and Weak Constraints.
329-340
- Sergio Greco, Eugenio Spadafora:
Implementation of Chain Logic Queries.
341-354
- Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella:
The And-compositionality of CLP Computed Answer Constraints.
355-366
- Enea Zaffanella:
Modular Analysis of Suspension Free cc Programs.
367-378
- F. Le Berre, Alexandre Tessier:
Declarative Incorrectness Diagnosis in Constraint Logic Programming.
379-390
- Salvatore Ruggieri:
On Termination of Constraint Logic Programs.
391-406
- Rob R. Hoogerwoord:
Programming by Calculation.
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.
427-438
- Jesús Manuel Almendros-Jiménez:
Type Inference and Checking for POS-typed Funtional Logic Programs.
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.
451-464
- Paolo Volpe:
Abstract Interpretation for Uniform Proof Systems.
465-480
- Giorgio Levi, Fausto Spoto:
Accurate Analysis of Prolog with cut.
481-492
- Roberto Bagnara:
Straight ROBDDs are not the Best for Pos.
493-498
- Vasco Pedro, Luís Monteiro:
Modules and Specifications.
499-510
- J. Baptista, Luís Monteiro:
Handling Calls to Missing Predicates.
511-522
- Evelina Lamma, Paola Mello, Michela Milano:
Enhancing Constraint Logic Programming through Meta Programming.
523-534
- Antonio Brogi, Simone Contiero:
Specialising Meta-level Compositions of Logic Programs.
535-548
- Renwei Li, Luís Moniz Pereira:
Reasoning about Concurrent Actions and Observations.
549-560
- Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego:
Executing Intensional Logic with the TAS Tool.
561-566
- Giuseppe Manco, Alessandra Raffaetà, Franco Turini:
Modeling Object Dynamics in Object-Oriented Logic Programming.
567-580
- Blas C. Ruiz, José E. Gallardo, P. Guerrero, Francisco Gutiérrez:
Clasificacion de Objetos Funcionales en Entornos Concurrentes.
581-584
Copyright © Mon Nov 16 23:55:30 2009
by Michael Ley (ley@uni-trier.de)
