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