GULP-PRODE (1)

Keyphrases

Publications

1994

Paolo Volpe
Semantics of Concurrent Logic Programming as Uniform Proofs. GULP-PRODE (1) (1994)
Michael Nitsche
Analysis and Refinement of Constraint Answer Sets in a Planning System. GULP-PRODE (1) (1994)
Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa
Loop Checking for Reduced SLD-derivations. GULP-PRODE (1) (1994)
Michael Codish, Bart Demoen
Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop. GULP-PRODE (1) (1994)
Roberto Bagnara
On the Detection of Implicit and Redundant Numeric Constraint in CLP Programs. GULP-PRODE (1) (1994)
María-del-Mar Gallardo, José M. Troya
Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation. GULP-PRODE (1) (1994)
Anastasia Analyti, Sakti Pramanik
Semantics for Reasoning with Contradictory Extended Logic Programs. GULP-PRODE (1) (1994)
Francesco Buccafurri, Nicola Leone, Pasquale Rullo
A non-deterministic semantics for ordered logic programs. GULP-PRODE (1) (1994)
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
An Abstract Interpretation Framework for (almost) Full Prolog. GULP-PRODE (1) (1994)
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
A Compositional Semantics for Conditional Term Rewriting Systems. GULP-PRODE (1) (1994)
K. Bohlmann, Rita Loogen, Yolanda Ortega-Mallén
Towards a Functional Process Calculus. GULP-PRODE (1) (1994)
Roberto Giacobazzi
Characterizing Abstract Program Properties by Abduction. GULP-PRODE (1) (1994)
Ramiro Varela
El modelo RPS para la gestion del paralelismo AND independiente en programas logicos. GULP-PRODE (1) (1994)
Marco Comini, Giorgio Levi
An Algebraic Theory of Observables. GULP-PRODE (1) (1994)
Agostino Cortesi, Gilberto Filé, William H. Winsborough
The Quotient of an Abstract Interpretation for Comparing Static Analyses. GULP-PRODE (1) (1994)
Maurizio Proietti, Alberto Pettorossi
Total correctness of a goal replacement rule based on the unfold/fold proof method. GULP-PRODE (1) (1994)
Salvador Lucas, Javier Oliver
El lambda-calculo Etiquetado Paralelo (LCEP). GULP-PRODE (1) (1994)
1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1 GULP-PRODE (1) (1994)
John W. Lloyd
Practical Advtanages of Declarative Programming. GULP-PRODE (1) (1994)
Paolo Mascellani, Dino Pedreschi
Proving termination of Prolog programs. GULP-PRODE (1) (1994)
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
Confluence and Concurrent Constraint Programming. GULP-PRODE (1) (1994)
José E. Gallardo, P. Guerrero, Blas C. Ruiz
Monadas y Procesos Funcionales Comunicantes. GULP-PRODE (1) (1994)
Sandro Etalle, Maurizio Gabbrielli
Modular Transformations of CLP Programs. GULP-PRODE (1) (1994)
Francisco Bueno
Methods for Automatic Compile-time Parallelization of Logic Programs: the MEL, CDG and UDG Algorithms Revisited. GULP-PRODE (1) (1994)
Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi
Solving Systems of Equations over Hypersets. GULP-PRODE (1) (1994)
Nai-Wei Lin
Optimizing Logic Programs with Finite Domain Constraints. GULP-PRODE (1) (1994)
Dino Pedreschi, Salvatore Ruggieri
Termination is Language-Independent. GULP-PRODE (1) (1994)
F. Buffoli
Split Resolution Tailoring Tableaux to Refute Clause Sets. GULP-PRODE (1) (1994)
Gilberto Filé, Francesco Ranzato
Improving Abstract Interpretations by Systematic Lifting to the Powerset. GULP-PRODE (1) (1994)
Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi, Alain Hui-Bon-Hoa
Fixpoint Semantics of L lambda. GULP-PRODE (1) (1994)
Roberta Gori, Giorgio Levi
Finite Failure is AND-Compositional. GULP-PRODE (1) (1994)