Abstract is missing.
- Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk)Manuvir Das. 1 [doi]
- Towards Partially Evaluating Reflection in JavaMathias Braux, Jacques Noyé. 2-11 [doi]
- Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract)Eijiro Sumii, Naoki Kobayashi. 12-21 [doi]
- The Second Futamura Projection for Type-Directed Partial EvaluationBernd Grobauer, Zhe Yang. 22-32 [doi]
- On the Logical Foundations of Staged Computation (Abstract of Invited Talk)Frank Pfenning. 33 [doi]
- A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trival (Extended Abstract)Walid Taha. 34-43 [doi]
- Using Regular Approximations for Generalisation During Partial EvalutionJohn P. Gallagher, Julio C. Peralta. 44-51 [doi]
- Non Pair-Sharing and Freeness Analysis Through Linear RefinementGiorgio Levi, Fausto Spoto. 52-61 [doi]
- Calculating Sized TypesWei-Ngan Chin, Siau-Cheng Khoo. 62-72 [doi]
- From Recursion to Iteration: What are the Optimizations?Yanhong A. Liu, Scott D. Stoller. 73-82 [doi]
- Operating Systems Specialization: Experiences, Opportunities and Challenges (Abstract of Invited Talk)Jonathan Walpole. 83 [doi]
- Type-Based Useless Variable EliminationNaoki Kobayashi. 84-93 [doi]
- Symbolic Pointer Analysis for Detecting Memory LeaksBernhard Scholz, Johann Blieberger, Thomas Fahringer. 104-113 [doi]