PEPM 1997: Amsterdam, The Netherlands
John P. Gallagher, Charles Consel, A. Michael Berman (Eds.): Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997. ACM 1997 ISBN 0-89791-917-3
Session 1
- Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa: Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects. 12-21
- Tim Sheard: A Type-directed, On-line, Partial Evaluator for a Polymorphic Language. 22-35
Session 2
Session 3
- Luke Hornof, Jacques Noyé: Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity. 63-73
- David Melski, Thomas W. Reps: Interconveritibility of Set Constraints and Context-Free Language Reachability. 74-89
- Olivier Danvy, Ulrik Pagh Schultz: Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. 90-106
Session 4
- Clifford Beshers, Steven Feiner: Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic Compilation. 107-115
- Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet: Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol. 116-126
- Lennart Augustsson: Partial Evaluation in Aircraft Crew Planning. 127-136
Session 5
- Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori: A Transformation System for CLP with Dynamic Scheduling and CCP. 137-150
- María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Specialization of Lazy Functional Logic Programs. 151-162
Session 6
- Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers: Annotation-Directed Run-Time Specialization in C. 163-178
- Saumya K. Debray: Resource-Bounded Partial Evaluation. 179-192
Session 7
- Flemming Nielson, Hanne Riis Nielson: Prescriptive Frameworks for Multi-Level Lambda-Calculi. 193-202
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