120 search results - page 8 / 24 » Realistic Compilation by Partial Evaluation |
156
click to vote
ENTCS
2007
15 years 3 months ago
2007
Poly-controlled partial evaluation (PCPE) is a flexible approach for specializing logic programs, which has been recently proposed. It takes into account repertoires of global co...
128
click to vote
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
152
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
148
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
133
Voted
CGO
2003
IEEE
15 years 7 months ago
2003
IEEE
Existing profile-guided partial redundancy elimination (PRE) methods use speculation to enable the removal of partial redundancies along more frequently executed paths at the expe...