Volume 248,
Number 1-2,
6 October 2000
PEPM 1997
- Charles Consel:
Selected Papers from PEPM'97 - Foreword.
1-2
- Luke Hornof, Jacques Noyé:
Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity.
3-27
- David Melski, Thomas W. Reps:
Interconvertibility of a class of set constraints and context-free-language reachability.
29-98
- Rogardt Heldal, John Hughes:
Extending a partial evaluator which supports separate compilation.
99-145
- Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers:
DyC: an expressive annotation-directed dynamic compiler for C.
147-199
- Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi:
Accurate program analyses for successful specialization of legacy system software.
201-210
- Walid Taha, Tim Sheard:
MetaML and multi-stage programming with explicit annotations.
211-242
- Olivier Danvy, Ulrik Pagh Schultz:
Lambda-dropping: transforming recursive equations into programs with block structure.
243-287
Copyright © Fri Mar 12 17:33:10 2010
by Michael Ley (ley@uni-trier.de)
