Conferences in DBLP

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

1. 
   O, partial evaluator, where art thou? [Citation Graph (, )][DBLP]
   
   
2. 
   General purpose languages should be metalanguages. [Citation Graph (, )][DBLP]
   
   
3. 
   Corrective hints for type incorrect generic Java programs. [Citation Graph (, )][DBLP]
   
   
4. 
   Mnemonics: type-safe bytecode generation at run time. [Citation Graph (, )][DBLP]
   
   
5. 
   PET: a partial evaluation-based test case generation tool for Java bytecode. [Citation Graph (, )][DBLP]
   
   
6. 
   IGOR2 - an analytical inductive functional programming system: tool demo. [Citation Graph (, )][DBLP]
   
   
7. 
   Optimizing generics is easy! [Citation Graph (, )][DBLP]
   
   
8. 
   A fold/unfold transformation framework for rewrite theories extended to CCT. [Citation Graph (, )][DBLP]
   
   
9. 
   Regular approximation and bounded domains for size-change termination. [Citation Graph (, )][DBLP]
   
   
10. 
    A3PAT, an approach for certified automated termination proofs. [Citation Graph (, )][DBLP]
    
    
11. 
    Optimizing relational algebra operations using generic equivalence discriminators and lazy products. [Citation Graph (, )][DBLP]
    
    
12. 
    Programming with singular and plural non-deterministic functions. [Citation Graph (, )][DBLP]
    
    
13. 
    I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP. [Citation Graph (, )][DBLP]
    
    
14. 
    Bridging the gap between symbolic and efficient AES implementations. [Citation Graph (, )][DBLP]
    
    
15. 
    Clone detection and elimination for Haskell. [Citation Graph (, )][DBLP]
    
    
16. 
    Making "stricterness" more relevant. [Citation Graph (, )][DBLP]
    
    
17. 
    Context-sensitive analysis of obfuscated x86 executables. [Citation Graph (, )][DBLP]
    
    
18. 
    Conditional weighted pushdown systems and applications. [Citation Graph (, )][DBLP]
    
    
19. 
    The SourceGraph program. [Citation Graph (, )][DBLP]
    
    
20. 
    From higher-order logic to Haskell: there and back again. [Citation Graph (, )][DBLP]