PEPM C

19 papers

YearTitle / Authors
2007A reversible programming language and its invertible self-interpreter.
Tetsuo Yokoyama, Robert Glück
2007Behavioral similarity matching using concrete source code templates in logic queries.
Coen De Roover, Theo D'Hondt, Johan Brichau, Carlos Noguera, Laurence Duchien
2007Bidirectional interpretation of XQuery.
Dongxi Liu, Zhenjiang Hu, Masato Takeichi
2007Concoqtion: indexed types now!
Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha
2007Distillation: extracting the essence of programs.
Geoff W. Hamilton
2007Efficient implementation of tuple pattern based retrieval.
Tom Rothamel, Yanhong A. Liu
2007Lowering: a static optimization technique for transparent functional reactivity.
Kimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi
2007Object-oriented queries over software systems: (abstract of invited talk).
Oege de Moor, Elnar Hajiyev, Mathieu Verbaere
2007Partial evaluation of Maple.
Jacques Carette, Michael Kucera
2007Poly-controlled partial evaluation in practice.
Claudio Ochoa, Germán Puebla
2007Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007
G. Ramalingam, Eelco Visser
2007Quasi-terminating logic programs for ensuring the termination of partial evaluation.
Germán Vidal
2007Style normalization for canonical X-to-O mappings.
Ralf Lämmel
2007Tasks: language support for event-driven programming.
Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein
2007The semantics of graphical languages.
Stephan Ellner, Walid Taha
2007Tools and libraries to model and manipulate circular programs.
João Paulo Fernandes, João Saraiva
2007Towards constructing reusable specialization components.
Ping Zhu, Siau-Cheng Khoo
2007Transformation of structure-shy programs: applied to XPath queries and strategic functions.
Alcino Cunha, Joost Visser
2007XML graphs in program analysis.
Anders Møller, Michael I. Schwartzbach