134
click to vote
PEPM
15 years 7 months ago
2004 ACM 
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....
102
click to vote
PEPM
15 years 7 months ago
2004 ACM 
To our point of view, adaptability is a key characteristic of components and should be at the heart of any proper component model. However, contrarily to the object crystal-box mod...
125
click to vote
PEPM
15 years 7 months ago
2004 ACM 
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
131
click to vote
PEPM
15 years 7 months ago
2004 ACM 
In this paper we introduce a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the bytecode level and can be use...
120
click to vote
PEPM
15 years 7 months ago
2004 ACM 
We implement strength reduction and loop-invariant code motion by specializing instrumented interpreters; we define a novel program transformation that uses bisimulation to ident...
|
Software Engineering