default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPEPM 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.
last updated on 2024-10-02 20:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
