Abstract is missing.
- Partial Evaluation and Separate CompilationRogardt Heldal, John Hughes. 1-11 [doi]
- Partial Evaluation of Call-by-Value lambda-Calculus with Side-EffectsKenichi Asai, Hidehiko Masuhara, Akinori Yonezawa. 12-21 [doi]
- A Type-directed, On-line, Partial Evaluator for a Polymorphic LanguageTim Sheard. 22-35 [doi]
- Self-Applicable Partial Evaluation for the pi-CalculusMarc Gengler, Matthieu Martel. 36-46 [doi]
- Partial-Evaluation Techniques for Concurrent ProgramsMihnea Marinescu, Benjamin Goldberg. 47-62 [doi]
- Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return SensitivityLuke Hornof, Jacques Noyé. 63-73 [doi]
- Interconveritibility of Set Constraints and Context-Free Language ReachabilityDavid Melski, Thomas W. Reps. 74-89 [doi]
- Lambda-Dropping: Transforming Recursive Equations into Programs with Block StructureOlivier Danvy, Ulrik Pagh Schultz. 90-106 [doi]
- Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic CompilationClifford Beshers, Steven Feiner. 107-115 [doi]
- Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC ProtocolGilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet. 116-126 [doi]
- A Transformation System for CLP with Dynamic Scheduling and CCPSandro Etalle, Maurizio Gabbrielli, Elena Marchiori. 137-150 [doi]
- Annotation-Directed Run-Time Specialization in CBrian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers. 163-178 [doi]
- Resource-Bounded Partial EvaluationSaumya K. Debray. 179-192 [doi]
- Prescriptive Frameworks for Multi-Level Lambda-CalculiFlemming Nielson, Hanne Riis Nielson. 193-202 [doi]
- Multi-Stage Programming with Explicit AnnotationsWalid Taha, Tim Sheard. 203-217 [doi]