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