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