Theoretical Computer Science, Volume 248
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
- Olivier Danvy, Ulrik Pagh Schultz: Lambda-dropping: transforming recursive equations into programs with block structure. 243-287
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team