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
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

Marc Gengler, Matthieu Martel:
Self-Applicable Partial Evaluation for the pi-Calculus. 36-46
Mihnea Marinescu, Benjamin Goldberg:
Partial-Evaluation Techniques for Concurrent Programs. 47-62

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
Walid Taha, Tim Sheard:
Multi-Stage Programming with Explicit Annotations. 203-217

Last update Tue Feb 14 04:09:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page