GULP-PRODE 1995:
Marina di Vietri,
Salerno,
Italy
María Alpuente, Maria I. Sessa (Eds.):
1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995.
1995 
- Krzysztof R. Apt:
Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming.
19-36
- Patrick Cousot:
Completeness in Abstract Interpretation.
37-38
- Robert A. Kowalski:
Logical Foundations for Multi-agent Systems.
39-40
- Giorgio Levi, Marco Comini, Giuliana Vitiello:
On the Abstract Diagnosis of Logic Programs.
41-60
- Dale Miller:
Observations about Using Logic as a Specification Language.
61-70
- Luís Moniz Pereira:
Parallel Logic Programming with Extensions.
71-88
- Enea Zaffanella:
Domain Independent Ask Approximation in CCP.
89-100
- Frank S. de Boer, Maurizio Gabbrielli:
Modeling Real-Time in Concurrent Constraint Programming.
101-112
- José Luis Freire, Basilio B. Fraguela, Víctor M. Gulías:
Extending CAML Light to Perform Distributed Computation.
113-124
- Paolo Ciancarini, Daniela Fogli, Mauro Gaspari:
A Logic Language Based on GAMMA-Like Multiset Rewriting.
125-138
- Kave Eshghi, M. Mowbray:
Side Effect Analysis for Logic-Based Planning.
139-147
- Floriana Esposito, Nicola Fanizzi, Donato Malerba, Giovanni Semeraro:
Downward Refinement of Hierarchical Datalog Theories.
148-159
- Danilo Montesi, Franco Turini:
Integrity Constraints Evolution in Deductive Databases.
160-168
- Marilisa E. Carboni, V. Foddai, Fosca Giannotti, Dino Pedreschi:
Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach.
169-182
- Alberto Momigliano, Mario Ornaghi:
An Introduction to Regular Search Spaces.
183-194
- J. Humet:
A Framework for a Transformational Approach to Negation.
195-206
- Francesco Buccafurri:
Ordered Logic and its Relationships to other Logic Programming Formalisms.
207-218
- Alberto Bottoni:
Analysis of SLDNF for Local CLP.
219-230
- Francesca Toni:
A Semantics for the Kakas-Mancarella Procedure for Abductive Logic Programming.
231-244
- Francesca Arcelli Fontana, Ferrante Formato:
Implementing Higher-Order Term-Rewriting for Program Transformation in lambdaProlog.
245-256
- Walter Dosch:
The Undefined Function Differs from the Pointwise Undefined Function.
257-270
- Paolo Mancarella, Alessandra Raffaetà, Franco Turini:
LOO: An Object Oriented Logic Programming Language.
271-282
- Giorgio Delzanno, Maurizio Martelli:
Forum Objects.
283-294
- Piero A. Bonatti, Laura Giordano:
Three-Valued Semantics for Extended Logic Programs.
295-306
- Jørgen Fischer Nilsson, Andreas Hamfelt:
Constructing Logic Programs with Higher-Order Predicates.
307-312
- Iliano Cervesato:
Petri Nets and Linear Logic: a Case Study for Logic Programming.
313-320
- A. Moreno, J. M. Goni:
GRAMPAL: A Morphological Processor for Spanish Implemented in Prolog.
321-331
- Domenico Aquilino, D. Apuzzo, Patrizia Asirelli:
A Declarative Approach to the Design and Realization of Graphic Interfaces.
332-346
- Anna Ciampolini, Evelina Lamma, Paola Mello:
Improving the Efficiency of Dynamic Modular Logic Languages.
347-358
- Eva Ullán:
Lazy Narrowing on an Abstract Machine by Means of Examples.
359-370
- Werner Hans, Stephan Winkler, Fernando Sáenz:
Exploiting Expression- and Or-Parallelism for a Functional Logic Language.
371-382
- Pedro Palao, Manuel Núñez:
An Effective Algorithm for Compiling Pattern Matching Keeping Laziness.
383-394
- Alberto Artosi, Paola Cattabriga, Guido Governatori:
A Prolog Implementation of Kem.
395-400
- Patrick Bellot, Olivier Camp, Christophe Matiachoff:
Explicit Implementation of a Constraint Solving Mechanism in a Relational Programming System.
401-408
- Paola Bruscoli, Alessio Guglielmi:
A Linear Logic Programming Language with Parallel and Sequential Conjunction.
409-420
- Giuseppe Manco, Franco Turini:
A Structural (Meta-Logical) Semantics for Linear Objects.
421-434
- Salvador Lucas:
Computational Properties in Context-Sensitive Rewriting.
435-446
- Puri Arenas-Sánchez, Agostino Dovier:
Minimal Set Unification.
447-458
- Cristian Papp:
A Model Tree Computation of the Strong Well-Founded Semantics.
459-470
- José E. Gallardo, P. Guerrero, Blas C. Ruiz:
Monadas para la Comunicacion de Objetos Funcionales.
471-476
- Carlos Gregorio-Rodríguez, M. Nunez Garcia, Pedro Palao-Gostanza:
La Potencia Expresiva de los Catamorfismos.
477-484
- Cristóbal Pareja, Ricardo Pena, J. Ángel Velázquez-Iturbide:
A Tabulation Transformation Tactic Using Haskell Arrays.
485-496
- Francisco José Galán Morillo, M. Toro Bonilla:
Sintesis de Programas Logicos: Marco Constructivo.
497-510
- Pierpaolo Degano, Corrado Priami:
A Transitional Semantics of Full Prolog.
511-520
- Giorgio Levi, Daniele Micciancio:
Analysis of Pure PROLOG Programs.
521-532
- Marco Comini, Giorgio Levi, Maria Chiara Meo:
Compositionality in SLD-derivations and their Abstractions.
533-544
- Francesco Scarcello, Nicola Leone, Luigi Palopoli:
Curbing Theories: Fixpoint Semantics and Complexity Issues.
545-556
- Livio Colussi, Elena Marchiori, Massimo Marchiori:
A Dataflow Semantics for Constraint Logic Programs.
557-568
- Ruiz-Andino Illera, J. J. Ruz Ortiz:
Labeling in CLP(FD) with Evolutionary Programming.
569-580
- Roberto Bagnara:
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages.
581-592
- Juan José Moreno-Navarro, Julio García-Martín, A. del Pozo-Pietro:
Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming.
593-606
- Marco Comini, Giorgio Levi, Giuliana Vitiello:
Declarative Diagnosis Revisited.
607-618
- Roberto Giacobazzi:
Optimal Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics.
619-630
- Giorgio Levi, Francesca Scozzari:
Contributions to a Theory of Existential Termination for Definite Logic Programs.
631-642
- Dino Pedreschi, Salvatore Ruggieri:
A Case Study in Logic Program Verification: the Vanilla Metainterpreter.
643-654
Last update Tue Feb 14 03:47:53 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
