Conferences in DBLP

Practical Aspects of Declarative Languages (PADL) (padl)
2005 (conf/padl/2005)

1. Norman Ramsey
   Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction. [Citation Graph (0, 0)][DBLP]
   PADL, 2005, pp:1-4 [Conf]
   
2. Saumya K. Debray
   Code Compression. [Citation Graph (0, 0)][DBLP]
   PADL, 2005, pp:5-6 [Conf]
   
3. Jerzy Karczmarczuk
   Functional Framework for Sound Synthesis. [Citation Graph (0, 0)][DBLP]
   PADL, 2005, pp:7-21 [Conf]
   
4. Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frédéric Prost
   Specializing Narrowing for Timetable Generation: A Case Study. [Citation Graph (0, 0)][DBLP]
   PADL, 2005, pp:22-36 [Conf]
   
5. Daniel R. Brooks, Esra Erdem, James W. Minett, Donald Ringe
   Character-Based Cladistics and Answer Set Programming. [Citation Graph (0, 0)][DBLP]
   PADL, 2005, pp:37-51 [Conf]
   
6. Vlad Tanasescu, Pawel T. Wojciechowski
   Role-Based Declarative Synchronization for Reconfigurable Systems. [Citation Graph (0, 0)][DBLP]
   PADL, 2005, pp:52-66 [Conf]
   
7. Emad Saad, Enrico Pontelli
   Towards a More Practical Hybrid Probabilistic Logic Programming Framework. [Citation Graph (0, 0)][DBLP]
   PADL, 2005, pp:67-82 [Conf]
   
8. Dengping Zhu, Hongwei Xi
   Safe Programming with Pointers Through Stateful Views. [Citation Graph (0, 0)][DBLP]
   PADL, 2005, pp:83-97 [Conf]
   
9. Qian Wang, Gopal Gupta, Michael Leuschel
   Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. [Citation Graph (0, 0)][DBLP]
   PADL, 2005, pp:98-112 [Conf]
   
10. Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
    A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. [Citation Graph (0, 0)][DBLP]
    PADL, 2005, pp:113-127 [Conf]
    
11. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
    An Ordered Logic Program Solver. [Citation Graph (0, 0)][DBLP]
    PADL, 2005, pp:128-142 [Conf]
    
12. Ricardo Lopes, Vítor Santos Costa
    Improving Memory Usage in the BEAM. [Citation Graph (0, 0)][DBLP]
    PADL, 2005, pp:143-157 [Conf]
    
13. Jesús Manuel Almendros-Jiménez, Antonio Corral
    Solving Constraints on Sets of Spatial Objects. [Citation Graph (0, 0)][DBLP]
    PADL, 2005, pp:158-173 [Conf]
    
14. James Bailey, Peter J. Stuckey
    Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. [Citation Graph (0, 0)][DBLP]
    PADL, 2005, pp:174-186 [Conf]
    
15. Susana Muñoz-Hernández, Jose Manuél Gómez-Pérez
    Solving Collaborative Fuzzy Agents Problems with CLP(FD). [Citation Graph (0, 0)][DBLP]
    PADL, 2005, pp:187-202 [Conf]
    
16. Artem Alimarine, Sjaak Smetsers
    Improved Fusion for Optimizing Generics. [Citation Graph (0, 0)][DBLP]
    PADL, 2005, pp:203-218 [Conf]
    
17. Masahiko Kawabe, Robert Glück
    The Program Inverter LRinv and Its Structure. [Citation Graph (0, 0)][DBLP]
    PADL, 2005, pp:219-234 [Conf]
    
18. Véronique Benzaken, Giuseppe Castagna, Cédric Miachon
    A Full Pattern-Based Paradigm for XML Query Processing. [Citation Graph (0, 0)][DBLP]
    PADL, 2005, pp:235-252 [Conf]
    
19. Bastiaan Heeren, Jurriaan Hage
    Type Class Directives. [Citation Graph (0, 0)][DBLP]
    PADL, 2005, pp:253-267 [Conf]