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