APPIA-GULP-PRODE 1996: Donostia-San Sebastian, Spain
Paqui Lucio, Maurizio Martelli, Marisa Navarro (Eds.): 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996. 1996- Pedro Barahona: Constraint Logic Programming: Theory, Domain and Applications. 3-12
- Fernando Orejas: Algebraic Methods for the Study of Module Constructs in Logic Programming. 13-16
- María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Call-By Name Partial Evaluation of Functional Logic Programs. 17-28
- Michael Codish, Vitaly Lagoon, Francisco Bueno: Sharing Analysis for Logic Programs using Set Logic Programs. 29-40
- Daniel Cabeza, Manuel V. Hermenegildo: Implementing Distributed Concurrent Constraint Execution in the CIAO System. 67-78
- Manuel Vilares Ferro, Miguel Angel Alonso Pardo: An LALR Extension for DCGs in Dynamic Programming. 79-88
- Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo: An Implementation Kernel for Theorem Proving with Equality Clauses. 89-104
- Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla: The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. 105-110
- Steffen Hölldobler: Equational Logic and Theories of Action. 111-126
- M. C. F. Ferreira: Recursively Defined Term Orders. 127-138
- Pedro J. Martín, Antonio Gavilanes: Semantic Tableaux for a Logic with Preorders and Dynamic Sorts. 139-154
- W. Marco Schorlemmer, Jaume Agustí-Cullell: Inclusional Theories in Declarative Programming. 167-178
- R. Arruabarrena, Marisa Navarro: On Extended Logic Languages supporting Program Structuring. 191-206
- Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck: Comsumption-based Distributed Unification. 207-218
- Víctor M. Gulías, Juan J. Quintela, José Luis Freire: Towards High-Order Distribution in Functional Languages. 219-232
- Ramiro Varela, Camino R. Vela, Jorge Puente: Efficient Producer/Consumer Parallelism in Logic Programming. 233-244
- Luis A. Galán, Cristóbal Pareja, Ricardo Pena: Functional Skeletons Generate Process Topologies in Eden. 245-258
- Thomas Eiter, Nicola Leone, Domenico Saccà: Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases. 271-282
- Pierre Lescanne: Calculi of Explicit Substitutions: New Results. 309-328
- Sergio Greco: Extending Datalog with Choice and Weak Constraints. 329-340
- Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella: The And-compositionality of CLP Computed Answer Constraints. 355-366
- Enea Zaffanella: Modular Analysis of Suspension Free cc Programs. 367-378
- F. Le Berre, Alexandre Tessier: Declarative Incorrectness Diagnosis in Constraint Logic Programming. 379-390
- Salvatore Ruggieri: On Termination of Constraint Logic Programs. 391-406
- Rob R. Hoogerwoord: Programming by Calculation. 407-426
- Juan José Moreno-Navarro, Julio Mariño, A. del Pozo-Pietro, Ángel Herranz-Nieva, Julio García-Martín: Adding Type Classes to Functional-Logic Languages. 427-438
- Jesús Manuel Almendros-Jiménez: Type Inference and Checking for POS-typed Funtional Logic Programs. 439-450
- Puri Arenas-Sánchez, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Eva Ullán: Real Constraints within a Functional Logic Language. 451-464
- Paolo Volpe: Abstract Interpretation for Uniform Proof Systems. 465-480
- Roberto Bagnara: Straight ROBDDs are not the Best for Pos. 493-498
- Evelina Lamma, Paola Mello, Michela Milano: Enhancing Constraint Logic Programming through Meta Programming. 523-534
- Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego: Executing Intensional Logic with the TAS Tool. 561-566
- Giuseppe Manco, Alessandra Raffaetà, Franco Turini: Modeling Object Dynamics in Object-Oriented Logic Programming. 567-580
- Blas C. Ruiz, José E. Gallardo, P. Guerrero, Francisco Gutiérrez: Clasificacion de Objetos Funcionales en Entornos Concurrentes. 581-584
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team