ASIA-PEPM 2002: Aizu, Japan

Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, September 12-14, 2002, Aizu, Japan, sponsored by ACM SIGPLAN, supported by The University of Aizu. ACM, 2002, ISBN 1-58113-458-4

Yoshihiko Futamura, Zenjiro Konishi, Robert Glück:
Automatic generation of efficient string matching algorithms by generalized partial computation. 1-8
Electronic Edition (ACM DL) BibTeX
Robert Glück:
Jones optimality, binding-time improvements, and the strength of program specializers. 9-19
Electronic Edition (ACM DL) BibTeX
Tim Sheard, Nathan Linger:
Search-based binding time analysis using type-directed pruning. 20-31
Electronic Edition (ACM DL) BibTeX
Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde:
On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. 32-46
Electronic Edition (ACM DL) BibTeX
Nevin Heintze:
Aliasing analysis for a million lines of C. 47-49
Electronic Edition (ACM DL) BibTeX
Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa:
Supporting objects in run-time bytecode specialization. 50-60
Electronic Edition (ACM DL) BibTeX
Jung Gyu Park, Myong-Soon Park:
Using indexed data structures for program specialization. 61-69
Electronic Edition (ACM DL) BibTeX
Saman P. Amarasinghe:
Defying the speed of light: : a spatially-aware compiler for wire-exposed architectures. 70
Electronic Edition (ACM DL) BibTeX
Futoshi Iwama, Naoki Kobayashi:
A new type system for JVM lock primitives. 71-82
Electronic Edition (ACM DL) BibTeX
Dana N. Xu, Siau-Cheng Khoo:
Compiling real time functional reactive programming. 83-93
Electronic Edition (ACM DL) BibTeX
Pablo E. Martínez López, John Hughes:
Principal type specialisation. 94-105
Electronic Edition (ACM DL) BibTeX
Siau-Cheng Khoo, Kun Shi:
Output-constraint specialization. 106-116
Electronic Edition (ACM DL) BibTeX
Hongwei Xi:
Unifying object-oriented programming with typed functional programming. 117-125
Electronic Edition (ACM DL) BibTeX
Janis Voigtländer:
Using circular programs to deforest in accumulating parameters. 126-137
Electronic Edition (ACM DL) BibTeX
Andrei P. Nemytykh:
A note on elimination of simplest recursions. 138-146
Electronic Edition (ACM DL) BibTeX