default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPEPM 2006: Charleston, South Carolina, USA
- John Hatcliff, Frank Tip:
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
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-12-08 01:34 CET 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:
