PEPM
2004
ACM
13 years 9 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 ...
PEPM
2004
ACM
13 years 9 months ago
2004
ACM
We propose a new algorithm for fusion transformation that allows both stacks and accumulating parameters. The new algorithm can fuse programs that cannot be handled by existing fu...
PEPM
2004
ACM
13 years 9 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...
PEPM
2004
ACM
13 years 9 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...
PEPM
2004
ACM
13 years 9 months ago
2004
ACM
This paper presents a novel editor supporting interactive refinement in the development of structured documents. The user performs a sequence of editing operations on the documen...
PEPM
2004
ACM
13 years 9 months ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
PEPM
2004
ACM
13 years 9 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...
PEPM
2004
ACM
13 years 9 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....