PEPM C

18 papers

YearTitle / Authors
1997A Transformation System for CLP with Dynamic Scheduling and CCP.
Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori
1997A Type-directed, On-line, Partial Evaluator for a Polymorphic Language.
Tim Sheard
1997Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity.
Luke Hornof, Jacques Noyé
1997Annotation-Directed Run-Time Specialization in C.
Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers
1997Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic Compilation.
Clifford Beshers, Steven Feiner
1997Interconveritibility of Set Constraints and Context-Free Language Reachability.
David Melski, Thomas W. Reps
1997Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure.
Olivier Danvy, Ulrik Pagh Schultz
1997Multi-Stage Programming with Explicit Annotations.
Walid Taha, Tim Sheard
1997Partial Evaluation and Separate Compilation.
Rogardt Heldal, John Hughes
1997Partial Evaluation in Aircraft Crew Planning.
Lennart Augustsson
1997Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects.
Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa
1997Partial-Evaluation Techniques for Concurrent Programs.
Mihnea Marinescu, Benjamin Goldberg
1997Prescriptive Frameworks for Multi-Level Lambda-Calculi.
Flemming Nielson, Hanne Riis Nielson
1997Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997
John P. Gallagher, Charles Consel, A. Michael Berman
1997Resource-Bounded Partial Evaluation.
Saumya K. Debray
1997Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol.
Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet
1997Self-Applicable Partial Evaluation for the pi-Calculus.
Marc Gengler, Matthieu Martel
1997Specialization of Lazy Functional Logic Programs.
María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal