PEPM 2000: Boston, Massachusetts, USA
Julia L. Lawall (Ed.): Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), Boston, Massachusetts, USA, January 22-23, 2000. ACM 2000 ISBN 1-58113-201-8
- Manuvir Das: Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk). 1
- Eijiro Sumii, Naoki Kobayashi: Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract). 12-21
- Bernd Grobauer, Zhe Yang: The Second Futamura Projection for Type-Directed Partial Evaluation. 22-32
- Frank Pfenning: On the Logical Foundations of Staged Computation (Abstract of Invited Talk). 33
- Walid Taha: A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract). 34-43
- John P. Gallagher, Julio C. Peralta: Using Regular Approximations for Generalisation During Partial Evalution. 44-51
- Jonathan Walpole: Operating Systems Specialization: Experiences, Opportunities and Challenges (Abstract of Invited Talk). 83
- Naoki Kobayashi: Type-Based Useless Variable Elimination. 84-93
- Bernhard Scholz, Johann Blieberger, Thomas Fahringer: Symbolic Pointer Analysis for Detecting Memory Leaks. 104-113
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team