The SCEAS System
Navigation Menu

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]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002