Abstract is missing.
- Automatic generation of efficient string matching algorithms by generalized partial computationYoshihiko Futamura, Zenjiro Konishi, Robert Glück. 1-8 [doi]
- Staged compilationCraig Chambers. 1-8 [doi]
- Jones optimality, binding-time improvements, and the strength of program specializersRobert Glück. 9-19 [doi]
- Towards bridging the gap between programming languages and partial evaluationAnne-Françoise Le Meur, Julia L. Lawall, Charles Consel. 9-18 [doi]
- Online partial evaluation for shift and resetKenichi Asai. 19-30 [doi]
- Search-based binding time analysis using type-directed pruningTim Sheard, Nathan Linger. 20-31 [doi]
- Growing languages with metamorphic syntax macrosClaus Brabrand, Michael I. Schwartzbach. 31-40 [doi]
- On obtaining Knuth, Morris, and Pratt s string matcher by partial evaluationMads Sig Ager, Olivier Danvy, Henning Korsholm Rohde. 32-46 [doi]
- From checking to inference via driving and dag grammarsJens P. Secher, Morten Heine Sørensen. 41-51 [doi]
- Aliasing analysis for a million lines of CNevin Heintze. 47-49 [doi]
- Supporting objects in run-time bytecode specializationReynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa. 50-60 [doi]
- Cost-augmented narrowing-driven specializationGermán Vidal. 52-62 [doi]
- Using indexed data structures for program specializationJung-Gyu Park, Myong-Soon Park. 61-69 [doi]
- Path dependent analysis of logic programsLunjin Lu. 63-74 [doi]
- Defying the speed of light: : a spatially-aware compiler for wire-exposed architecturesSaman P. Amarasinghe. 70 [doi]
- A new type system for JVM lock primitivesFutoshi Iwama, Naoki Kobayashi. 71-82 [doi]
- Automatic time-bound analysis for a higher-order languageGustavo Gomez, Yanhong A. Liu. 75-86 [doi]
- Compiling real time functional reactive programmingDana N. Xu, Siau-Cheng Khoo. 83-93 [doi]
- Compositionality in the puzzle of semanticsRoberto Giacobazzi, Isabella Mastroeni. 87-97 [doi]
- Principal type specialisationPablo E. Martínez López, John Hughes. 94-105 [doi]
- Implementation of automatic differentiation toolsChristian H. Bischof, Paul D. Hovland, Boyana Norris. 98-107 [doi]
- Output-constraint specializationSiau-Cheng Khoo, Kun Shi. 106-116 [doi]
- Program optimization using indexed and recursive data structuresYanhong A. Liu, Scott D. Stoller. 108-118 [doi]
- Unifying object-oriented programming with typed functional programmingHongwei Xi. 117-125 [doi]
- Mixed-initiative interaction = mixed computationNaren Ramakrishnan, Robert Capra, Manuel A. Pérez-Quiñones. 119-130 [doi]
- Using circular programs to deforest in accumulating parametersJanis Voigtländer. 126-137 [doi]
- CPS translating inductive and coinductive typesGilles Barthe, Tarmo Uustalu. 131-142 [doi]
- A note on elimination of simplest recursionsAndrei P. Nemytykh. 138-146 [doi]