PPDP 2004:
Verona, Italy
Eugenio Moggi, David Scott Warren (Eds.):
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy.
ACM 2004, ISBN 1-58113-819-9 BibTeX
- Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Invited talk: the blast query language for software verification.
1-2
Electronic Edition (ACM DL) BibTeX
- Sheila A. McIlraith:
Invited talk: towards declarative programming for web services.
3-4
Electronic Edition (ACM DL) BibTeX
- J. Gregory Morrisett:
Invited talk: what's the future for proof-carrying code?
5
Electronic Edition (ACM DL) BibTeX
- Ehud Y. Shapiro:
Invited talk: injecting life with computers.
6
Electronic Edition (ACM DL) BibTeX
- Yannis Smaragdakis:
Invited talk: program generators and the tools to make them.
7-8
Electronic Edition (ACM DL) BibTeX
- José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas:
A logic programming approach to the verification of functional-logic programs.
9-19
Electronic Edition (ACM DL) BibTeX
- Berndt Farwer, Michael Leuschel:
Model checking object petri nets in prolog.
20-31
Electronic Edition (ACM DL) BibTeX
- Sava Krstic, John Matthews:
Semantics of the reFLect language.
32-42
Electronic Edition (ACM DL) BibTeX
- Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda:
A lazy narrowing calculus for declarative constraint programming.
43-54
Electronic Edition (ACM DL) BibTeX
- Carlos Camarão, Lucília Figueiredo, Cristiano Vasconcellos:
Constraint-set satisfiability for overloading.
67-77
Electronic Edition (ACM DL) BibTeX
- Konstantinos F. Sagonas, Peter J. Stuckey:
Just enough tabling.
78-89
Electronic Edition (ACM DL) BibTeX
- Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato:
Semi-naive evaluation in linear tabling.
90-97
Electronic Edition (ACM DL) BibTeX
- Sergio Flesca, Sergio Greco, Ester Zumpano:
Active integrity constraints.
98-107
Electronic Edition (ACM DL) BibTeX
- Maribel Fernández, Murdoch Gabbay, Ian Mackie:
Nominal rewriting systems.
108-119
Electronic Edition (ACM DL) BibTeX
- Mircea Marin, Aart Middeldorp:
New completeness results for lazy conditional narrowing.
120-131
Electronic Edition (ACM DL) BibTeX
- Sébastien Carlier, J. B. Wells:
Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction.
132-143
Electronic Edition (ACM DL) BibTeX
- Sergio Antoy, Stephen Johnson:
Formalization and abstract implementation of rewriting with nested rules.
144-154
Electronic Edition (ACM DL) BibTeX
- Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne:
Characterizing strong normalization in a language with control operators.
155-166
Electronic Edition (ACM DL) BibTeX
- Luigi Liquori, Bernard P. Serpette:
iRho: an imperative rewriting calculus.
167-178
Electronic Edition (ACM DL) BibTeX
- Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal:
A semantics for tracing declarative multi-paradigm programs.
179-190
Electronic Edition (ACM DL) BibTeX
- Kohei Honda, Nobuko Yoshida:
A compositional logic for polymorphic higher-order functions.
191-202
Electronic Edition (ACM DL) BibTeX
- Manuel Serrano, Frédéric Boussinot, Bernard P. Serpette:
Scheme fair threads.
203-214
Electronic Edition (ACM DL) BibTeX
- Nick Benton, Andrew Kennedy, Claudio V. Russo:
Adventures in interoperability: the SML.NET experience.
215-226
Electronic Edition (ACM DL) BibTeX
- J. Rajesh, D. Janakiram:
JIAD: a tool to infer design patterns in refactoring.
227-237
Electronic Edition (ACM DL) BibTeX
- Gianluigi Greco, Antonella Guzzo, Domenico Saccà, Francesco Scarcello:
Event choice datalog: a logic programming language for reasoning in multiple dimensions.
238-249
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:34:56 2009
by Michael Ley (ley@uni-trier.de)