Conferences in DBLP

Principles and Practice of Declarative Programming (PPDP) (ppdp)
2005 (conf/ppdp/2005)

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