default search action
PEPM 1997: Amsterdam, The Netherlands
- John P. Gallagher, Charles Consel, A. Michael Berman:
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
- 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
A Transformation System for CLP with Dynamic Scheduling and CCP. 137-150 - María Alpuente
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-20 21:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: