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