Abstract is missing.
- Source transformation, analysis and generation in TXLJames R. Cordy. 1-11 [doi]
- On the application of partial evaluation to the optimisation of cardiac electrophysiological simulationsJonathan Cooper, Steve McKeever, Alan Garny. 12-20 [doi]
- Using program specialization to speed SystemC fixed-point simulationStephen A. Edwards. 21-28 [doi]
- Bit-level partial evaluation of synchronous circuitsSarah Thompson, Alan Mycroft. 29-37 [doi]
- Resource usage analysis for a functional language with exceptionsFutoshi Iwama, Atsushi Igarashi, Naoki Kobayashi. 38-47 [doi]
- A dead variable analysis for explicit model checkingMicah Lewis, Michael Jones. 48-57 [doi]
- Dynamic path conditions in dependence graphsChristian Hammer, Martin Grimme, Jens Krinke. 58-67 [doi]
- A disciplined approach to aspect compositionRoberto E. Lopez-Herrejon, Don S. Batory, Christian Lengauer. 68-77 [doi]
- Type-directed weaving of aspects for higher-order functional languagesMeng Wang, Kung Chen, Siau-Cheng Khoo. 78-87 [doi]
- The Ecce and Logen partial evaluators and their web interfacesMichael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine. 88-94 [doi]
- Stratego/XT 0.16: components for transformation systemsMartin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser. 95-99 [doi]
- Intermediate-representation recovery from low-level codeThomas W. Reps, Gogul Balakrishnan, Junghee Lim. 100-111 [doi]
- Core role-based access control: efficient implementations by transformationsYanhong A. Liu, Chen Wang, Michael Gorbovitski, Tom Rothamel, Yongxi Cheng, Yingchao Zhao, Jing Zhang. 112-120 [doi]
- Program transformation by solving recurrencesBeatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo. 121-129 [doi]
- Generic programming in FortranMartin Erwig, Zhe Fu, Ben Pflaum. 130-139 [doi]
- LOCO: an interactive code (De)obfuscation toolMatias Madou, Ludo Van Put, Koen De Bosschere. 140-144 [doi]
- Continuous code-quality assurance with SAFEEmmanuel Geay, Eran Yahav, Stephen J. Fink. 145-149 [doi]
- Tradeoffs in metaprogrammingTodd L. Veldhuizen. 150-159 [doi]
- A monadic approach for avoiding code duplication when staging memoized functionsKedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic. 160-169 [doi]