ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97)

Amsterdam, The Netherlands
June 12-13, 1997

Program

Session 1

Rogardt Heldal and John Hughes
"Partial Evaluation and Separate Compilation"
ACM Digital Library

Kenichi Asai, Hidehiko Masuhara and Akinori Yonezawa
"Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects"
ACM Digital Library

Tim Sheard
"A Type-directed, On-line, Partial Evaluator for a Polymorphic Language"
ACM Digital Library

Session 2

Marc Gengler and Matthieu Martel
"Self-Applicable Partial Evaluation for the pi-Calculus"
ACM Digital Library

Mihnea Marinescu and Benjamin Goldberg
"Partial-Evaluation Techniques for Concurrent Programs"
ACM Digital Library

Session 3

Luke Hornof and Jacques Noyé
"Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity"
ACM Digital Library

David Melski and Thomas W. Reps
"Interconveritibility of Set Constraints and Context-Free Language Reachability"
ACM Digital Library

Olivier Danvy and Ulrik Pagh Schultz
"Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure"
ACM Digital Library

Session 4

Clifford Beshers and Steven Feiner
"Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic Compilation"
ACM Digital Library

Gilles Muller, Eugen-Nicolae Volanschi and Renaud Marlet
"Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol"
ACM Digital Library

Lennart Augustsson
"Partial Evaluation in Aircraft Crew Planning"
ACM Digital Library

Session 5

Sandro Etalle, Maurizio Gabbrielli and Elena Marchiori
"A Transformation System for CLP with Dynamic Scheduling and CCP"
ACM Digital Library

María Alpuente, Moreno Falaschi, Pascual Julián Iranzo and Germán Vidal
"Specialization of Lazy Functional Logic Programs"
ACM Digital Library

Session 6

Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers and Susan J. Eggers
"Annotation-Directed Run-Time Specialization in C"
ACM Digital Library

Saumya K. Debray
"Resource-Bounded Partial Evaluation"
ACM Digital Library

Session 7

Flemming Nielson and Hanne Riis Nielson
"Prescriptive Frameworks for Multi-Level Lambda-Calculi"
ACM Digital Library

Walid Taha and Tim Sheard
"Multi-Stage Programming with Explicit Annotations"
ACM Digital Library