


default search action
PEPM 2007: Nice, France
- G. Ramalingam, Eelco Visser:

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 - Geoff 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

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














