| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Cristóbal Pareja, Ricardo Pena, J. Ángel Velázquez-Iturbide |
A Tabulation Transformation Tactic Using Haskell Arrays.  |
GULP-PRODE  |
1995 |
DBLP BibTeX RDF |
|
| 1 | Eva Ullán |
Lazy Narrowing on an Abstract Machine by Means of Examples. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno, Maurizio Martelli |
Forum Objects. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Salvador Lucas |
Computational Properties in Context-Sensitive Rewriting. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller 0001 |
Observations about Using Logic as a Specification Language. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Paolo Mancarella, Alessandra Raffaetà, Franco Turini |
LOO: An Object Oriented Logic Programming Language. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Krzysztof R. Apt |
Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | José E. Gallardo, Pablo Guerrero, Blas C. Ruiz |
Monadas para la Comunicacion de Objetos Funcionales. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Francesca Toni |
A Semantics for the Kakas-Mancarella Procedure for Abductive Logic Programming. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Alberto Artosi, Paola Cattabriga, Guido Governatori |
A Prolog Implementation of Kem. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | J. Humet |
A Framework for a Transformational Approach to Negation. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Marco Comini, Giorgio Levi, Giuliana Vitiello |
Declarative Diagnosis Revisited. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Patrick Bellot, Olivier Camp, Christophe Matiachoff |
Explicit Implementation of a Constraint Solving Mechanism in a Relational Programming System. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Juan José Moreno-Navarro, Julio García-Martín, Andrés del Pozo-Prieto |
Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Marco Comini, Giorgio Levi, Maria Chiara Meo |
Compositionality in SLD-derivations and their Abstractions. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Werner Hans, Stephan Winkler, Fernando Sáenz-Pérez |
Exploiting Expression- and Or-Parallelism for a Functional Logic Language. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Puri Arenas-Sánchez, Agostino Dovier |
Minimal Set Unification. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Francisco José Galán Morillo, M. Toro Bonilla |
Sintesis de Programas Logicos: Marco Constructivo. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Dino Pedreschi, Salvatore Ruggieri |
A Case Study in Logic Program Verification: the Vanilla Metainterpreter. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, Maria I. Sessa (eds.) |
1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995 |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Kave Eshghi, M. Mowbray |
Side Effect Analysis for Logic-Based Planning. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Robert A. Kowalski |
Logical Foundations for Multi-agent Systems. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Ruiz-Andino Illera, J. J. Ruz Ortiz |
Labeling in CLP(FD) with Evolutionary Programming. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Antonio Moreno, José M. Goñi |
GRAMPAL: A Morphological Processor for Spanish Implemented in Prolog. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Enea Zaffanella |
Domain Independent Ask Approximation in CCP. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Levi, Francesca Scozzari |
Contributions to a Theory of Existential Termination for Definite Logic Programs. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jørgen Fischer Nilsson, Andreas Hamfelt |
Constructing Logic Programs with Higher-Order Predicates. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Cristian Papp |
A Model Tree Computation of the Strong Well-Founded Semantics. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Walter Dosch |
The Undefined Function Differs from the Pointwise Undefined Function. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Danilo Montesi, Franco Turini |
Integrity Constraints Evolution in Deductive Databases. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Francesco Scarcello, Nicola Leone, Luigi Palopoli 0001 |
Curbing Theories: Fixpoint Semantics and Complexity Issues. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Alberto Momigliano, Mario Ornaghi |
An Introduction to Regular Search Spaces. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Alberto Bottoni |
Analysis of SLDNF for Local CLP. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bagnara |
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Floriana Esposito, Nicola Fanizzi, Donato Malerba, Giovanni Semeraro |
Downward Refinement of Hierarchical Datalog Theories. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Luís Moniz Pereira |
Parallel Logic Programming with Extensions. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Laura Giordano 0001 |
Three-Valued Semantics for Extended Logic Programs. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Pierpaolo Degano, Corrado Priami |
A Transitional Semantics of Full Prolog. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Domenico Aquilino, D. Apuzzo, Patrizia Asirelli |
A Declarative Approach to the Design and Realization of Graphic Interfaces. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Paola Bruscoli, Alessio Guglielmi |
A Linear Logic Programming Language with Parallel and Sequential Conjunction. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Levi, Marco Comini, Giuliana Vitiello |
On the Abstract Diagnosis of Logic Programs. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Francesca Arcelli Fontana, Ferrante Formato |
Implementing Higher-Order Term-Rewriting for Program Transformation in lambdaProlog. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Roberto Giacobazzi |
Optimal Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Francesco Buccafurri |
Ordered Logic and its Relationships to other Logic Programming Formalisms. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Anna Ciampolini, Evelina Lamma, Paola Mello |
Improving the Efficiency of Dynamic Modular Logic Languages. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Frank S. de Boer, Maurizio Gabbrielli |
Modeling Real-Time in Concurrent Constraint Programming. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Patrick Cousot |
Completeness in Abstract Interpretation. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ciancarini, Daniela Fogli, Mauro Gaspari |
A Logic Language Based on GAMMA-Like Multiset Rewriting. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Livio Colussi, Elena Marchiori, Massimo Marchiori |
A Dataflow Semantics for Constraint Logic Programs. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Marilisa E. Carboni, V. Foddai, Fosca Giannotti, Dino Pedreschi |
Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Manco 0001, Franco Turini |
A Structural (Meta-Logical) Semantics for Linear Objects. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | José Luis Freire, Basilio B. Fraguela, Víctor M. Gulías |
Extending CAML Light to Perform Distributed Computation. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Pedro Palao, Manuel Núñez 0001 |
An Effective Algorithm for Compiling Pattern Matching Keeping Laziness. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Levi, Daniele Micciancio |
Analysis of Pure PROLOG Programs. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Iliano Cervesato |
Petri Nets and Linear Logic: a Case Study for Logic Programming. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Carlos Gregorio-Rodríguez, M. Nunez Garcia, Pedro Palao-Gostanza |
La Potencia Expresiva de los Catamorfismos. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license