Conferences in DBLP

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

1. Nick Benton, Uri Zarfaty
   Formalizing and verifying semantic type soundness of a simple compiler. [Citation Graph (0, 0)][DBLP]
   PPDP, 2007, pp:1-12 [Conf]
   
2. William C. Benton, Charles N. Fischer
   Interactive, scalable, declarative program analysis: from prototype to implementation. [Citation Graph (0, 0)][DBLP]
   PPDP, 2007, pp:13-24 [Conf]
   
3. Leslie De Koninck, Tom Schrijvers, Bart Demoen
   User-definable rule priorities for CHR. [Citation Graph (0, 0)][DBLP]
   PPDP, 2007, pp:25-36 [Conf]
   
4. Konstantinos F. Sagonas
   Detecting defects in Erlang programs using static analysis. [Citation Graph (0, 0)][DBLP]
   PPDP, 2007, pp:37- [Conf]
   
5. Salvador Lucas
   Practical use of polynomials over the reals in proofs of termination. [Citation Graph (0, 0)][DBLP]
   PPDP, 2007, pp:39-50 [Conf]
   
6. Christian Skalka
   Type safe dynamic linking for JVM access control. [Citation Graph (0, 0)][DBLP]
   PPDP, 2007, pp:51-62 [Conf]
   
7. Sebastian Fischer, Herbert Kuchen
   Systematic generation of glass-box test cases for functional logic programs. [Citation Graph (0, 0)][DBLP]
   PPDP, 2007, pp:63-74 [Conf]
   
8. James Cheney, Alberto Momigliano
   Mechanized metatheory model-checking. [Citation Graph (0, 0)][DBLP]
   PPDP, 2007, pp:75-86 [Conf]
   
9. Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann
   Relational semantics for effect-based program transformations with dynamic allocation. [Citation Graph (0, 0)][DBLP]
   PPDP, 2007, pp:87-96 [Conf]
   
10. Makoto Hamana
    Higher-order semantic labelling for inductive datatype systems. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:97-108 [Conf]
    
11. Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero
    Observing intermediate structures in a parallel lazy functional language. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:109-120 [Conf]
    
12. Sergio Antoy, Bernd Braßel
    Computing with subspaces. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:121-130 [Conf]
    
13. Musab AlTurki, José Meseguer
    Real-time rewriting semantics of orc. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:131-142 [Conf]
    
14. Brad Lushman, Gordon V. Cormack
    A larger decidable semiunification problem. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:143-152 [Conf]
    
15. Josh Berdine
    Local reasoning about storable locks. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:153- [Conf]
    
16. Michael Hanus
    Putting declarative programming into the web: translating curry to javascript. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:155-166 [Conf]
    
17. Isabelle Gnaedig
    Induction for positive almost sure termination. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:167-178 [Conf]
    
18. Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo
    Unfolding in CHR. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:179-186 [Conf]
    
19. Chongbing Liu, Enrico Pontelli
    Nonmonotonic inductive logic programming by instance patterns. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:187-196 [Conf]
    
20. Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
    A simple rewrite notion for call-time choice semantics. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:197-208 [Conf]
    
21. Witold Charatonik
    Regular directional types for logic programs. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:209- [Conf]
    
22. Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu
    Efficient trust management policy analysis from rules. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:211-220 [Conf]
    
23. Roberto M. Amadio, Frédéric Dabrowski
    Feasible reactivity in a synchronous Pi-calculus. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:221-230 [Conf]