4 search results - page 1 / 1 » Imperative-program transformation by instrumented-interprete... |
PEPM
2004
ACM
13 years 10 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...
LISP
2008
13 years 4 months ago
2008
We describe how to implement strength reduction, loop-invariant code motion and loop quasi-invariant code motion by specializing instrumented interpreters. To curb code duplication...
ESOP
2005
Springer
13 years 10 months ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
SIGSOFT
2003
ACM
14 years 5 months ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...