Conferences in DBLP

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

1. 
   On Preferring and Inspecting Abductive Models. [Citation Graph (, )][DBLP]
   
   
2. 
   Declarative Programming of User Interfaces. [Citation Graph (, )][DBLP]
   
   
3. 
   Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs. [Citation Graph (, )][DBLP]
   
   
4. 
   Toward a Practical Module System for ACL2. [Citation Graph (, )][DBLP]
   
   
5. 
   Declarative Network Verification. [Citation Graph (, )][DBLP]
   
   
6. 
   Operational Semantics for Declarative Networking. [Citation Graph (, )][DBLP]
   
   
7. 
   Ad Hoc Data and the Token Ambiguity Problem. [Citation Graph (, )][DBLP]
   
   
8. 
   High Level Thread-Based Competitive Or-Parallelism in Logtalk. [Citation Graph (, )][DBLP]
   
   
9. 
   Implementing Thread Cancellation in Multithreaded Prolog Systems. [Citation Graph (, )][DBLP]
   
   
10. 
    Interoperating Logic Engines. [Citation Graph (, )][DBLP]
    
    
11. 
    High-Level Interaction with Relational Databases in Logic Programming. [Citation Graph (, )][DBLP]
    
    
12. 
    Typed Datalog. [Citation Graph (, )][DBLP]
    
    
13. 
    Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell. [Citation Graph (, )][DBLP]
    
    
14. 
    One Table Fits All. [Citation Graph (, )][DBLP]
    
    
15. 
    Recycle Your Arrays! [Citation Graph (, )][DBLP]
    
    
16. 
    Towards a Complete Scheme for Tabled Execution Based on Program Transformation. [Citation Graph (, )][DBLP]
    
    
17. 
    Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications. [Citation Graph (, )][DBLP]
    
    
18. 
    Layered Models Top-Down Querying of Normal Logic Programs. [Citation Graph (, )][DBLP]
    
    
19. 
    Secure Implementation of Meta-predicates. [Citation Graph (, )][DBLP]