Conferences in DBLP

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

1. Craig Chambers
   Staged compilation. [Citation Graph (0, 0)][DBLP]
   PEPM, 2002, pp:1-8 [Conf]
   
2. Yoshihiko Futamura, Zenjiro Konishi, Robert Glück
   Automatic generation of efficient string matching algorithms by generalized partial computation. [Citation Graph (0, 0)][DBLP]
   ASIA-PEPM, 2002, pp:1-8 [Conf]
   
3. Robert Glück
   Jones optimality, binding-time improvements, and the strength of program specializers. [Citation Graph (0, 0)][DBLP]
   ASIA-PEPM, 2002, pp:9-19 [Conf]
   
4. Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel
   Towards bridging the gap between programming languages and partial evaluation. [Citation Graph (0, 0)][DBLP]
   PEPM, 2002, pp:9-18 [Conf]
   
5. Kenichi Asai
   Online partial evaluation for shift and reset. [Citation Graph (0, 0)][DBLP]
   PEPM, 2002, pp:19-30 [Conf]
   
6. Tim Sheard, Nathan Linger
   Search-based binding time analysis using type-directed pruning. [Citation Graph (0, 0)][DBLP]
   ASIA-PEPM, 2002, pp:20-31 [Conf]
   
7. Claus Brabrand, Michael I. Schwartzbach
   Growing languages with metamorphic syntax macros. [Citation Graph (0, 0)][DBLP]
   PEPM, 2002, pp:31-40 [Conf]
   
8. Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
   On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. [Citation Graph (0, 0)][DBLP]
   ASIA-PEPM, 2002, pp:32-46 [Conf]
   
9. Jens P. Secher, Morten Heine Sørensen
   From checking to inference via driving and dag grammars. [Citation Graph (0, 0)][DBLP]
   PEPM, 2002, pp:41-51 [Conf]
   
10. Nevin Heintze
    Aliasing analysis for a million lines of C. [Citation Graph (0, 0)][DBLP]
    ASIA-PEPM, 2002, pp:47-49 [Conf]
    
11. Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa
    Supporting objects in run-time bytecode specialization. [Citation Graph (0, 0)][DBLP]
    ASIA-PEPM, 2002, pp:50-60 [Conf]
    
12. Germán Vidal
    Cost-augmented narrowing-driven specialization. [Citation Graph (0, 0)][DBLP]
    PEPM, 2002, pp:52-62 [Conf]
    
13. Jung Gyu Park, Myong-Soon Park
    Using indexed data structures for program specialization. [Citation Graph (0, 0)][DBLP]
    ASIA-PEPM, 2002, pp:61-69 [Conf]
    
14. Lunjin Lu
    Path dependent analysis of logic programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 2002, pp:63-74 [Conf]
    
15. Saman P. Amarasinghe
    Defying the speed of light: : a spatially-aware compiler for wire-exposed architectures. [Citation Graph (0, 0)][DBLP]
    ASIA-PEPM, 2002, pp:70- [Conf]
    
16. Futoshi Iwama, Naoki Kobayashi
    A new type system for JVM lock primitives. [Citation Graph (0, 0)][DBLP]
    ASIA-PEPM, 2002, pp:71-82 [Conf]
    
17. Gustavo Gomez, Yanhong A. Liu
    Automatic time-bound analysis for a higher-order language. [Citation Graph (0, 0)][DBLP]
    PEPM, 2002, pp:75-86 [Conf]
    
18. Dana N. Xu, Siau-Cheng Khoo
    Compiling real time functional reactive programming. [Citation Graph (0, 0)][DBLP]
    ASIA-PEPM, 2002, pp:83-93 [Conf]
    
19. Roberto Giacobazzi, Isabella Mastroeni
    Compositionality in the puzzle of semantics. [Citation Graph (0, 0)][DBLP]
    PEPM, 2002, pp:87-97 [Conf]
    
20. Pablo E. Martínez López, John Hughes
    Principal type specialisation. [Citation Graph (0, 0)][DBLP]
    ASIA-PEPM, 2002, pp:94-105 [Conf]
    
21. Christian H. Bischof, Paul D. Hovland, Boyana Norris
    Implementation of automatic differentiation tools. [Citation Graph (0, 0)][DBLP]
    PEPM, 2002, pp:98-107 [Conf]
    
22. Siau-Cheng Khoo, Kun Shi
    Output-constraint specialization. [Citation Graph (0, 0)][DBLP]
    ASIA-PEPM, 2002, pp:106-116 [Conf]
    
23. Yanhong A. Liu, Scott D. Stoller
    Program optimization using indexed and recursive data structures. [Citation Graph (0, 0)][DBLP]
    PEPM, 2002, pp:108-118 [Conf]
    
24. Hongwei Xi
    Unifying object-oriented programming with typed functional programming. [Citation Graph (0, 0)][DBLP]
    ASIA-PEPM, 2002, pp:117-125 [Conf]
    
25. Naren Ramakrishnan, Robert Capra, Manuel A. Pérez-Quiñones
    Mixed-initiative interaction = mixed computation. [Citation Graph (0, 0)][DBLP]
    PEPM, 2002, pp:119-130 [Conf]
    
26. Janis Voigtländer
    Using circular programs to deforest in accumulating parameters. [Citation Graph (0, 0)][DBLP]
    ASIA-PEPM, 2002, pp:126-137 [Conf]
    
27. Gilles Barthe, Tarmo Uustalu
    CPS translating inductive and coinductive types. [Citation Graph (0, 0)][DBLP]
    PEPM, 2002, pp:131-142 [Conf]
    
28. Andrei P. Nemytykh
    A note on elimination of simplest recursions. [Citation Graph (0, 0)][DBLP]
    ASIA-PEPM, 2002, pp:138-146 [Conf]