GULP-PRODE 1994:
Peñiscola,
Spain
María Alpuente, Roberto Barbuti, Isidro Ramos (Eds.):
1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1.
1994 BibTeX
- John W. Lloyd:
Practical Advtanages of Declarative Programming.
18-30 BibTeX
- Michael Nitsche:
Analysis and Refinement of Constraint Answer Sets in a Planning System.
31-45 BibTeX
- Paolo Mascellani, Dino Pedreschi:
Proving termination of Prolog programs.
46-61 BibTeX
- María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal:
A Compositional Semantics for Conditional Term Rewriting Systems.
62-76 BibTeX
- Roberto Giacobazzi:
Characterizing Abstract Program Properties by Abduction.
77-91 BibTeX
- Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck:
An Abstract Interpretation Framework for (almost) Full Prolog.
92-106 BibTeX
- Paolo Volpe:
Semantics of Concurrent Logic Programming as Uniform Proofs.
107-124 BibTeX
- Salvador Lucas, Javier Oliver:
El lambda-calculo Etiquetado Paralelo (LCEP).
125-139 BibTeX
- Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi:
Confluence and Concurrent Constraint Programming.
140-154 BibTeX
- F. Buffoli:
Split Resolution Tailoring Tableaux to Refute Clause Sets.
155-169 BibTeX
- Marco Comini, Giorgio Levi:
An Algebraic Theory of Observables.
170-186 BibTeX
- Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi, Alain Hui-Bon-Hoa:
Fixpoint Semantics of L lambda.
187-201 BibTeX
- Maurizio Proietti, Alberto Pettorossi:
Total correctness of a goal replacement rule based on the unfold/fold proof method.
203-217 BibTeX
- Sandro Etalle, Maurizio Gabbrielli:
Modular Transformations of CLP Programs.
218-233 BibTeX
- K. Bohlmann, Rita Loogen, Yolanda Ortega-Mallén:
Towards a Functional Process Calculus.
234-250 BibTeX
- Ramiro Varela:
El modelo RPS para la gestion del paralelismo AND independiente en programas logicos.
251-265 BibTeX
- José E. Gallardo, P. Guerrero, Blas C. Ruiz:
Monadas y Procesos Funcionales Comunicantes.
266-280 BibTeX
- Francisco Bueno:
Methods for Automatic Compile-time Parallelization of Logic Programs: the MEL, CDG and UDG Algorithms Revisited.
281-295 BibTeX
- Nai-Wei Lin:
Optimizing Logic Programs with Finite Domain Constraints.
297-311 BibTeX
- Roberto Bagnara:
On the Detection of Implicit and Redundant Numeric Constraint in CLP Programs.
312-326 BibTeX
- Michael Codish, Bart Demoen:
Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop.
327-341 BibTeX
- María-del-Mar Gallardo, José M. Troya:
Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation.
342-356 BibTeX
- Gilberto Filé, Francesco Ranzato:
Improving Abstract Interpretations by Systematic Lifting to the Powerset.
357-371 BibTeX
- Agostino Cortesi, Gilberto Filé, William H. Winsborough:
The Quotient of an Abstract Interpretation for Comparing Static Analyses.
372-387 BibTeX
- Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa:
Loop Checking for Reduced SLD-derivations.
388-402 BibTeX
- Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi:
Solving Systems of Equations over Hypersets.
403-417 BibTeX
- Anastasia Analyti, Sakti Pramanik:
Semantics for Reasoning with Contradictory Extended Logic Programs.
434-448 BibTeX
- Francesco Buccafurri, Nicola Leone, Pasquale Rullo:
A non-deterministic semantics for ordered logic programs.
449-463 BibTeX
- Roberta Gori, Giorgio Levi:
Finite Failure is AND-Compositional.
464-478 BibTeX
Copyright © Sat May 16 22:57:00 2009
by Michael Ley (ley@uni-trier.de)
