PPDP 2005:
Lisbon,
Portugal
Pedro Barahona, Amy P. Felty (Eds.):
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal.
ACM 2005, ISBN 1-59593-090-6 BibTeX
- Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla:
Abstraction carrying code and resource-awareness.
1-11
Electronic Edition (ACM DL) BibTeX
- Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu:
A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures.
12-22
Electronic Edition (ACM DL) BibTeX
- Stephen-John Craig, Michael Leuschel:
Self-tuning resource aware specialisation for prolog.
23-34
Electronic Edition (ACM DL) BibTeX
- Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins:
Monadic concurrent linear logic programming.
35-46
Electronic Edition (ACM DL) BibTeX
- Maribel Fernández, Murdoch Gabbay:
Nominal rewriting with name generation: abstraction vs. locality.
47-58
Electronic Edition (ACM DL) BibTeX
- Yuki Chiba, Takahito Aoto, Yoshihito Toyama:
Program transformation by templates based on term rewriting.
59-69
Electronic Edition (ACM DL) BibTeX
- Pawel T. Wojciechowski:
Isolation-only transactions by typing and versioning.
70-81
Electronic Edition (ACM DL) BibTeX
- Louis Mandel, Marc Pouzet:
ReactiveML: a reactive extension to ML.
82-93
Electronic Edition (ACM DL) BibTeX
- Murdoch Gabbay:
A new calculus of contexts.
94-105
Electronic Edition (ACM DL) BibTeX
- Aaron Tomb, Cormac Flanagan:
Automatic type inference via partial evaluation.
106-116
Electronic Edition (ACM DL) BibTeX
- Diptikalyan Saha, C. R. Ramakrishnan:
Incremental and demand-driven points-to analysis using logic programming.
117-128
Electronic Edition (ACM DL) BibTeX
- Xuan Li, Lunjin Lu:
Inverting abstract unification for set-sharing.
129-138
Electronic Edition (ACM DL) BibTeX
- Christian Skalka:
Trace effects and object orientation.
139-150
Electronic Edition (ACM DL) BibTeX
- John C. Mitchell:
Security analysis of network protocols: logical and computational methods.
151-152
Electronic Edition (ACM DL) BibTeX
- Rachid Echahed, Frédéric Prost:
Security policy in a declarative style.
153-163
Electronic Edition (ACM DL) BibTeX
- Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat:
Timed constraint programming: a declarative approach to usage control.
164-175
Electronic Edition (ACM DL) BibTeX
- Daniel Luna, Mikael Pettersson, Konstantinos F. Sagonas:
Efficiently compiling a functional language on AMD64: the HiPE experience.
176-186
Electronic Edition (ACM DL) BibTeX
- Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles:
Formal validation of pattern matching code.
187-197
Electronic Edition (ACM DL) BibTeX
- Giuseppe Castagna, Alain Frisch:
A gentle introduction to semantic subtyping.
198-199
Electronic Edition (ACM DL) BibTeX
- Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo:
A compositional semantics for CHR.
209-217
Electronic Edition (ACM DL) BibTeX
- Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck:
Abstract interpretation for constraint handling rules.
218-229
Electronic Edition (ACM DL) BibTeX
- Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli:
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD).
230-241
Electronic Edition (ACM DL) BibTeX
- Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu:
Optimization with mode-directed preferences.
242-251
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:34:56 2009
by Michael Ley (ley@uni-trier.de)