Conferences in DBLP

Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (pepm)
2009 (conf/pepm/2009)

1. 
   Self-adjusting computation: (an overview). [Citation Graph (, )][DBLP]
   
   
2. 
   Program analysis for bug detection using parfait: invited talk. [Citation Graph (, )][DBLP]
   
   
3. 
   Linear logical approximations. [Citation Graph (, )][DBLP]
   
   
4. 
   Guided model checking for programs with polymorphism. [Citation Graph (, )][DBLP]
   
   
5. 
   Program interpolation. [Citation Graph (, )][DBLP]
   
   
6. 
   Translation and optimization for a core calculus with exceptions. [Citation Graph (, )][DBLP]
   
   
7. 
   Is there a fourth Futamura projection? [Citation Graph (, )][DBLP]
   
   
8. 
   Type-based specialization of xml transformations. [Citation Graph (, )][DBLP]
   
   
9. 
   Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networks. [Citation Graph (, )][DBLP]
   
   
10. 
    Shortcut fusion rules for the derivation of circular and higher-order monadic programs. [Citation Graph (, )][DBLP]
    
    
11. 
    A flexible framework for programming with non-deterministicfunctions. [Citation Graph (, )][DBLP]
    
    
12. 
    Program transformation for numerical precision. [Citation Graph (, )][DBLP]
    
    
13. 
    Shifting the stage: staging with delimited control. [Citation Graph (, )][DBLP]
    
    
14. 
    Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. [Citation Graph (, )][DBLP]
    
    
15. 
    Improving type error messages for generic java. [Citation Graph (, )][DBLP]
    
    
16. 
    Bidirectional data-flow analyses, type-systematically. [Citation Graph (, )][DBLP]
    
    
17. 
    CCCP: complete calling context profiling in virtual execution environments. [Citation Graph (, )][DBLP]
    
    
18. 
    CProf: customizable calling context cross-profiling for embedded java processors. [Citation Graph (, )][DBLP]
    
    
19. 
    SOC: a slicer for CSP specifications. [Citation Graph (, )][DBLP]
    
    
20. 
    Clone detection and removal for Erlang/OTP within a refactoring environment. [Citation Graph (, )][DBLP]
    
    
21. 
    From spreadsheets to relational databases and back. [Citation Graph (, )][DBLP]
    
    
22. 
    Designing aspects for side-effect localization. [Citation Graph (, )][DBLP]