PEPM 2006: Charleston, South Carolina, USA

John Hatcliff, Frank Tip (Eds.): Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006. ACM 2006, ISBN 1-59593-196-1

Invited talk

James R. Cordy:
Source transformation, analysis and generation in TXL. 1-11

Applications

Jonathan Cooper, Steve McKeever, Alan Garny:
On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations. 12-20
Stephen A. Edwards:
Using program specialization to speed SystemC fixed-point simulation. 21-28
Sarah Thompson, Alan Mycroft:
Bit-level partial evaluation of synchronous circuits. 29-37

Analysis

Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi:
Resource usage analysis for a functional language with exceptions. 38-47
Micah Lewis, Michael Jones:
A dead variable analysis for explicit model checking. 48-57
Christian Hammer, Martin Grimme, Jens Krinke:
Dynamic path conditions in dependence graphs. 58-67

Aspect-oriented programming

Roberto E. Lopez-Herrejon, Don S. Batory, Christian Lengauer:
A disciplined approach to aspect composition. 68-77
Meng Wang, Kung Chen, Siau-Cheng Khoo:
Type-directed weaving of aspects for higher-order functional languages. 78-87

Tool demonstrations I

Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine:
The Ecce and Logen partial evaluators and their web interfaces. 88-94
Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser:
Stratego/XT 0.16: components for transformation systems. 95-99

Invited talk

Thomas W. Reps, Gogul Balakrishnan, Junghee Lim:
Intermediate-representation recovery from low-level code. 100-111

Transformations

Yanhong A. Liu, Chen Wang, Michael Gorbovitski, Tom Rothamel, Yongxi Cheng, Yingchao Zhao, Jing Zhang:
Core role-based access control: efficient implementations by transformations. 112-120
Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo:
Program transformation by solving recurrences. 121-129
Martin Erwig, Zhe Fu, Ben Pflaum:
Generic programming in Fortran. 130-139

Tool demonstrations II

Matias Madou, Ludo Van Put, Koen De Bosschere:
LOCO: an interactive code (De)obfuscation tool. 140-144
Emmanuel Geay, Eran Yahav, Stephen J. Fink:
Continuous code-quality assurance with SAFE. 145-149

Meta-programming

Todd L. Veldhuizen:
Tradeoffs in metaprogramming. 150-159
Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic:
A monadic approach for avoiding code duplication when staging memoized functions. 160-169

Last update Thu May 24 04:39:56 2012 CET by the DBLP Team —

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