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