PEPM 2007: Nice, France

G. Ramalingam, Eelco Visser (Eds.): Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007. ACM 2007, ISBN 978-1-59593-620-2

Invited talk

Anders Møller, Michael I. Schwartzbach:
XML graphs in program analysis. 1-10

XML

Alcino Cunha, Joost Visser:
Transformation of structure-shy programs: applied to XPath queries and strategic functions. 11-20
Dongxi Liu, Zhenjiang Hu, Masato Takeichi:
Bidirectional interpretation of XQuery. 21-30
Ralf Lämmel:
Style normalization for canonical X-to-O mappings. 31-40

Partial evaluation 1

Jacques Carette, Michael Kucera:
Partial evaluation of Maple. 41-50
Germán Vidal:
Quasi-terminating logic programs for ensuring the termination of partial evaluation. 51-60
G. W. Hamilton:
Distillation: extracting the essence of programs. 61-70

Domain-specific optimization

Kimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi:
Lowering: a static optimization technique for transparent functional reactivity. 71-80
Tom Rothamel, Yanhong A. Liu:
Efficient implementation of tuple pattern based retrieval. 81-90

Invited talk

Oege de Moor, Elnar Hajiyev, Mathieu Verbaere:
Object-oriented queries over software systems: (abstract of invited talk). 91

Meta-programming

Coen De Roover, Theo D'Hondt, Johan Brichau, Carlos Noguera, Laurence Duchien:
Behavioral similarity matching using concrete source code templates in logic queries. 92-101
João Paulo Fernandes, João Saraiva:
Tools and libraries to model and manipulate circular programs. 102-111
Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha:
Concoqtion: indexed types now! 112-121

Language design

Stephan Ellner, Walid Taha:
The semantics of graphical languages. 122-133
Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein:
Tasks: language support for event-driven programming. 134-143
Tetsuo Yokoyama, Robert Glück:
A reversible programming language and its invertible self-interpreter. 144-153

Partial evaluation 2

Ping Zhu, Siau-Cheng Khoo:
Towards constructing reusable specialization components. 154-163
Claudio Ochoa, Germán Puebla:
Poly-controlled partial evaluation in practice. 164-173

Last update Sun May 19 23:26:01 2013 CET by the DBLP Team —

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