default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPPDP 2005: Lisbon, Portugal
- Pedro Barahona, Amy P. Felty:
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 - Manuel V. Hermenegildo, Elvira Albert, Pedro López-García
, Germán Puebla:
Abstraction carrying code and resource-awareness. 1-11 - Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu:
A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures. 12-22 - Stephen-John Craig, Michael Leuschel:
Self-tuning resource aware specialisation for prolog. 23-34 - Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins:
Monadic concurrent linear logic programming. 35-46 - Maribel Fernández, Murdoch Gabbay:
Nominal rewriting with name generation: abstraction vs. locality. 47-58 - Yuki Chiba, Takahito Aoto, Yoshihito Toyama:
Program transformation by templates based on term rewriting. 59-69 - Pawel T. Wojciechowski:
Isolation-only transactions by typing and versioning. 70-81 - Louis Mandel, Marc Pouzet:
ReactiveML: a reactive extension to ML. 82-93 - Murdoch Gabbay:
A new calculus of contexts. 94-105 - Aaron Tomb, Cormac Flanagan:
Automatic type inference via partial evaluation. 106-116 - Diptikalyan Saha, C. R. Ramakrishnan:
Incremental and demand-driven points-to analysis using logic programming. 117-128 - Xuan Li, Lunjin Lu:
Inverting abstract unification for set-sharing. 129-138 - Christian Skalka:
Trace effects and object orientation. 139-150 - John C. Mitchell:
Security analysis of network protocols: logical and computational methods. 151-152 - Rachid Echahed, Frédéric Prost:
Security policy in a declarative style. 153-163 - Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat:
Timed constraint programming: a declarative approach to usage control. 164-175 - Daniel Luna, Mikael Pettersson, Konstantinos Sagonas:
Efficiently compiling a functional language on AMD64: the HiPE experience. 176-186 - Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles:
Formal validation of pattern matching code. 187-197 - Giuseppe Castagna, Alain Frisch:
A gentle introduction to semantic subtyping. 198-199 - Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo:
A compositional semantics for CHR. 209-217 - Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck:
Abstract interpretation for constraint handling rules. 218-229 - Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli:
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD). 230-241 - Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu:
Optimization with mode-directed preferences. 242-251
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-29 02:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
