José Luis Freire-Nistal, Moreno Falaschi, Manuel Vilares Ferro (Eds.):
1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998.
1998 BibTeX
- Arnaud Lallouet:
Semantics of a Data-Parallel Logic Language using the BSP Execution Model.
1-14 BibTeX
- Alessandra Di Pierro, Herbert Wiklicky:
A Markov Model for Probabilistic Concurrent Constraint Programming.
15-28 BibTeX
- Jorge Puente, Ramiro Varela, Camino R. Vela, Cesar Alonso:
A Parallel Programming Approach to Job Shop Scheduling Constrain Satisfaction Problems.
29-42 BibTeX
- Agostino Dovier, Carla Piazza, Gianfranco Rossi:
Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints.
43-56 BibTeX
- Evelina Lamma, Michela Milano, Rita Cucchiara, Paola Mello, Massimo Piccardi:
Interactive Constraint Satisfaction and its Application to Visual Object Recognition.
57-70 BibTeX
- Manuel Carro, Manuel V. Hermenegildo:
Some Design Issues in the Visualization of Constraint Logic Program Execution.
71-86 BibTeX
- Rafael Caballero, Francisco Javier López-Fraguas:
Parsing with Non-Deterministic Functions.
87-100 BibTeX
- J. Ángel Velázquez-Iturbide:
Automatic Simplification of the Visualization of Functional Expressions by Means of Fisheyes Views.
101-112 BibTeX
- Manuel Vilares Ferro, Miguel Angel Alonso Pardo, David Cabrero Souto:
A Comparison for Unification-Based Parsers.
113-124 BibTeX
- Francisco José Galán Morillo, M. Toro Bonilla:
Object Oriented Software Systems Defined by Constructive Logical Methods.
125-136 BibTeX
- Julio Mariño, Juan José Moreno-Navarro:
Recovering Sequentiality in Functional-Logic Programs.
137-150 BibTeX
- Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal:
Polygenetic Partial Evaluation of Lazy Functional Logic Programs.
151-164 BibTeX
- Stefano Basta, Sergio Flesca, Sergio Greco:
Extending Datalog to Express Functional Queries: A Language and its Implementation.
165-174 BibTeX
- Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca:
Operational and Abstract Semantics of a Query Language for Semi-Structured Information.
175-188 BibTeX
- R. Castro, Xesús M. López, Víctor M. Gulías:
An ODBC Interface for Objective Caml.
189-200 BibTeX
- Gaetano Aurelio Lanzarone, Alessandro Provetti:
Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming.
201-214 BibTeX
- Paul Tarau, Verónica Dahl:
Code Migration with First Order Continuations.
215-226 BibTeX
- Roberto Bagnara, Peter Schachte:
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos.
227-240 BibTeX
- Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari:
Building Complete Abstract Interpretations in a Linear Logic-based Setting.
241-254 BibTeX
- Patricia M. Hill, Roberto Bagnara, Enea Zaffanella:
The Correctness of Set-Sharing.
255-268 BibTeX
- Fausto Spoto, Giorgio Levi:
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs.
269-282 BibTeX
- Giorgio Levi, Paolo Volpe:
Derivation of Proof Methods by Abstract Interpretation.
283-292 BibTeX
- Paolo Volpe:
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs.
293-302 BibTeX
- Giorgio Levi, W. Volpi:
Set Based-Analysis of Logic Programs via Abstract Interpretation.
303-310 BibTeX
- Jordi Puigsegur, Jaume Agustí-Cullell:
Visual Logic Programming by Means of Diagram Transformations.
311-328 BibTeX
- D. Pearce:
Back and Forth Semantics for Normal, Disjunctive and Extended Logic programs.
329-342 BibTeX
- Andrea Formisano, Eugenio G. Omodeo, Marco Temperini:
Plan of Activities on the Map Calculus.
343-356 BibTeX
- Miguel A. Gutiérrez-Naranjo:
The Inmediate Consequence Operator and Robinson's Operator.
357-354 BibTeX
- M. Teresa Escrig, Francisco Toledo:
The Use of CLP(FD) Extended with CHRs for Qualitative Spatial Reasoning and Qualitative Robot Navigation.
365-378 BibTeX
- José Hernández-Orallo, M. José Ramírez-Quintana:
Inverse Narrowing for the Induction of Functional Logic Programs.
379-392 BibTeX
- José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski:
Dynamic Logic Programming.
393-408 BibTeX
- Marco Comini, Giorgio Levi, Giuliana Vitiello:
Modular Abstract Diagnosis.
409-420 BibTeX
- E. Lastres, R. Moreno:
A Semantics for Logic Programs based on First Order Hereditary Harrop Formulas.
421-432 BibTeX
- Roberta Gori, E. Lastres, R. Moreno, Fausto Spoto:
Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation.
433-442 BibTeX
- Kung-Kiu Lau, Mario Ornaghi:
Isoinitial Models for Logic Programs: A Preliminary Study.
443-456 BibTeX
- Juan José Moreno-Navarro, Susana Muñoz-Hernández:
On the Practical Use of Negation in a Prolog Compiler.
457-469 BibTeX
Copyright © Sat May 16 22:57:00 2009
by Michael Ley (ley@uni-trier.de)