Accepted Papers
ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation
The following papers have been accepted for presentation at the workshop:
- Jacques Carette and Michael Kucera. Partial Evaluation for Maple
- Ping Zhu and Siau-Cheng Khoo. Towards Constructing Reusable Specialization Components
- Kimberley Burchett, Gregory Cooper and Shriram Krishnamurthi. Lowering: A Static Optimization Technique for Functional Reactive Languages
- Geoff Hamilton. Distillation: Extracting the Essence of Programs
- Tom Rothamel and Annie Liu. Efficient Implementation of Tuple Pattern Retrieval
- Jeffrey Fischer, Rupak Majumdar and Todd Millstein. Tasks: Language Support for Event-driven Programming
- Dongxi Liu, Zhenjiang Hu and Masato Takeichi. Bidirectional Interpretation of XQuery
- Claudio Ochoa and German Puebla. Poly-Controlled Partial Evaluation In Practice
- Alcino Cunha and Joost Visser. Transformation of Structure-Shy Programs -- Applied to XPath Queries and Strategic Functions
- German Vidal. Quasi-Terminating Logic Programs for Ensuring the Termination of Partial Evaluation
- Coen De Roover, Johan Brichau, Carlos Noguera, Theo D'Hondt and Laurence Duchien. Behavioral Similarity Matching using Concrete Source Code Templates in Logic Queries
- Joćo Fernandes and Joćo Saraiva. Tools and Libraries to Model and Manipulate Circular Programs
- Tetsuo Yokoyama and Robert Glueck. A Reversible Programming Language and its Invertible Self-Interpreter
- Emir Pasalic, Jeremy Siek, Walid Taha and Seth Fogarty. Concoqtion: Indexed Types Now!
- Ralf Laemmel. Style normalization for canonical X-to-O mappings
- Walid Taha and Stephan Elnner. The Semantics of Graphical Languages