Volume 248, Number 1-2, 6 October 2000

• 
  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

last updated on Mon May 20 03:38:15 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page