Moreno Falaschi, Marisa Navarro, Alberto Policriti (Eds.):
1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997.
1997 
- Roberto Giacobazzi:
Systematic design of abstract interpretations.
1-4
- Narciso Martí-Oliet:
Rewriting logic and its applications.
5-8
- Michael Hanus:
A Unified Computation Model for Declarative Programming.
9-24
- Gopal Gupta, Enrico Pontelli:
High Performance Parallel Logic Programming: The ACE Parallel Prolog System.
25-32
- Roberto Giacobazzi, Francesca Scozzari:
Intuitionistic Implication in Abstract Interpretation.
33-44
- Federico Crazzolara:
Quasi-metric Spaces as Domains for Abstract Interpretation.
45-56
- R. Moreno:
A Semantic Framework for the Analysis of Concurrent Constraint Programming.
57-68
- Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Sharing Revisited.
69-80
- Roberto Bagnara:
Structural Information Analysis for CLP Languages.
81-92
- Agostino Dovier, Alberto Policriti:
Set domains for structural properties of terms.
93-104
- Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases.
105-116
- Vincenzo Gervasi, Alessandra Raffaetà:
Integrating Active Rules in U-Datalog.
117-128
- Fosca Giannotti, Giuseppe Manco, Dino Pedreschi:
A Deductive Data Model for Representing and Querying Semistructured Data.
129-140
- Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
The Architecture of a Disjunctive Deductive Database System.
141-152
- Lidia Moreno, Manuel Palomar, Antonio Molina:
Gramáticas Datalog Extendidas: Una Nueva Aproximación.
153-162
- José Francisco Aldana Montes, José M. Troya:
Concurrent Smart Evaluation of Datalog Queries.
163-174
- G. Amato, G. Levi:
Properties of the Lattice of Observables in Logic Programming.
175-188
- Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi:
Automated Behavioural Verification of Prolog Programs.
189-200
- Fausto Spoto, Giorgio Levi:
A Denotational Semantics for Prolog.
201-212
- Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí:
High-level Parallel and Concurrent Programming in Eden.
213-224
- Alessandra Di Pierro, Herbert Wiklicky:
On Probabilistic CCP.
225-234
- Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
Semantics and Expressive Power of a Timed Concurrent Constraint Language.
235-246
- Pablo López, Ernesto Pimentel:
A Lazy Splitting System for Forum.
247-258
- Juan M. Molina-Bravo, Ernesto Pimentel:
Semantics for Modules in Functional-Logic Programming.
259-270
- Paqui Lucio, Fernando Orejas, Elvira Pino:
A Monotonic Declarative Semantics for Normal Logic Programs.
271-282
- Piero A. Bonatti:
A Constructive Negation for Transition System Specifications.
283-294
- Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi:
An Algorithm for Learning Abductive Rules.
295-306
- Manuel Vilares Ferro, David Cabrero Souto, Miguel Angel Alonso Pardo:
An Approach to Infinite Terms Traversal in DCGs.
307-318
- Francesca Arcelli Fontana, Ferrante Formato:
A Fuzzy Logic Programming Language.
319-332
- Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini:
Datalog and Description Logics: Expressive Power.
333-344
- Zohar Manna:
Verification of Progress Properties.
345-346
- María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal:
Safe Folding/Unfolding with Conditional Narrowing.
347-358
- Víctor J. Díaz Madrigal, M. Toro Bonilla:
Parsing TAGs with Prolog.
359-368
- Isabel Pita, Narciso Martí-Oliet:
Using Reflection to Specify Transaction Sequences in Rewriting Logic.
369-380
- Alessandro Provetti, G. Rossi:
Action Specifications in log.
381-392
- Salvador Lucas:
Computational Properties of Term Rewriting with Replacement Restrictions.
393-404
- Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo:
Global Skolemization with Grouped Quantifiers.
405-414
- Kent E. Seamons, William H. Winsborough, Marianne Winslett:
Internet Credential Acceptance Policies.
415-432
- Kung-Kiu Lau, Mario Ornaghi:
On the Relationship between Logic Programs and Specifications.
433-444
- Alain Miniussi, Robert Strandh:
An Efficient Algorithm for Recognizing the Forward-Branching Class of Term-Rewriting Systems.
445-456
- Agostino Dovier, Andrea Formisano, Alberto Policriti:
On T Logic Programming.
457-466
- R. Carmona, Agostino Dovier, Gianfranco Rossi:
Dealing with Infinite Intensional Sets in CLP.
465-478
- Gilles Richard, Frédéric Saubion, A. Tellez-Arenas:
Intensional Set Constraints.
479-490
- Maurizio Martelli, Viviana Mascardi, Floriano Zini:
Applying Logic Programming to the Specification of Complex Applications.
491-500
- Víctor M. Gulías, Juan J. Quintela, José Luis Freire:
Transport Primitives for Functional Agents.
501-510
- Joaquín Nicolás, Juan Alcalde, José Ambrosio Toval Álvarez, Aurelio Arenas:
Formal Specification of a Scanning Tunnelling Microscope.
511-522
- Antonio Ferrández, Manuel Palomar, Lidia Moreno:
Slot Unification Grammar.
523-532
- Antonio J. Fernández, Patricia M. Hill:
Boolean and Finite Domain Solvers Compared Using Self Referential Quizzes.
533-544
- Michael Codish, Cohavit Taboch:
A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm Constraints.
545-556
- Francesco Buccafurri, Nicola Leone, Pasquale Rullo:
Adding Weak Constraints to Disjunctive Datalog.
557-568
Copyright © Sun Mar 14 22:55:03 2010
by Michael Ley (ley@uni-trier.de)
