7 search results - page 2 / 2 » Theory and algorithms for slicing unstructured programs |
SIGSOFT
2007
ACM
14 years 7 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
ISPAN
1996
IEEE
13 years 10 months ago
1996
IEEE
In this paper, we have presented the design and evaluation of a compiler system, called APE,for automatic parallelization of scientific and engineering applications on distributed...