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 BibTeX

Invited talk

Anders Møller, Michael I. Schwartzbach:
XML graphs in program analysis. 1-10
Electronic Edition (ACM DL) BibTeX

XML

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

Partial evaluation 1

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

Domain-specific optimization

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

Invited talk

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

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
Electronic Edition (ACM DL) BibTeX
João Paulo Fernandes, João Saraiva:
Tools and libraries to model and manipulate circular programs. 102-111
Electronic Edition (ACM DL) BibTeX
Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha:
Concoqtion: indexed types now! 112-121
Electronic Edition (ACM DL) BibTeX

Language design

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

Partial evaluation 2

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