PEPM 1997: Amsterdam, The Netherlands

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997. SIGPLAN Notices 32(12), December 1997, ACM Press, ISBN 0-89791-917-3

Session 1

Rogardt Heldal, John Hughes:
Partial Evaluation and Separate Compilation. 1-11
Electronic Edition (ACM DL) BibTeX
Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa:
Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects. 12-21
Electronic Edition (ACM DL) BibTeX
Tim Sheard:
A Type-directed, On-line, Partial Evaluator for a Polymorphic Language. 22-35
Electronic Edition (ACM DL) BibTeX

Session 2

Marc Gengler, Matthieu Martel:
Self-Applicable Partial Evaluation for the pi-Calculus. 36-46
Electronic Edition (ACM DL) BibTeX
Mihnea Marinescu, Benjamin Goldberg:
Partial-Evaluation Techniques for Concurrent Programs. 47-62
Electronic Edition (ACM DL) BibTeX

Session 3

Luke Hornof, Jacques Noyé:
Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity. 63-73
Electronic Edition (ACM DL) BibTeX
David Melski, Thomas W. Reps:
Interconveritibility of Set Constraints and Context-Free Language Reachability. 74-89
Electronic Edition (ACM DL) BibTeX
Olivier Danvy, Ulrik Pagh Schultz:
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. 90-106
Electronic Edition (ACM DL) BibTeX

Session 4

Clifford Beshers, Steven Feiner:
Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic Compilation. 107-115
Electronic Edition (ACM DL) BibTeX
Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet:
Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol. 116-126
Electronic Edition (ACM DL) BibTeX
Lennart Augustsson:
Partial Evaluation in Aircraft Crew Planning. 127-136
Electronic Edition (ACM DL) BibTeX

Session 5

Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori:
A Transformation System for CLP with Dynamic Scheduling and CCP. 137-150
Electronic Edition (ACM DL) BibTeX
María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal:
Specialization of Lazy Functional Logic Programs. 151-162
Electronic Edition (ACM DL) BibTeX

Session 6

Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers:
Annotation-Directed Run-Time Specialization in C. 163-178
Electronic Edition (ACM DL) BibTeX
Saumya K. Debray:
Resource-Bounded Partial Evaluation. 179-192
Electronic Edition (ACM DL) BibTeX

Session 7

Flemming Nielson, Hanne Riis Nielson:
Prescriptive Frameworks for Multi-Level Lambda-Calculi. 193-202
Electronic Edition (ACM DL) BibTeX
Walid Taha, Tim Sheard:
Multi-Stage Programming with Explicit Annotations. 203-217
Electronic Edition (ACM DL) BibTeX