1911 search results - page 73 / 383 » Program analysis for code duplication in logic programs |
108
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
115
click to vote
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
In this paper, we present a thorough analysis of thread-level parallelism available in production High Performance Computing (HPC) codes. We survey a number of techniques that are...
120
click to vote
WCRE
1993
IEEE
15 years 6 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
129
click to vote
FLOPS
2010
Springer
15 years 8 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
121
click to vote
PPOPP
2012
ACM
13 years 9 months ago
2012
ACM
We present Dynamic Out-of-Order Java (DOJ), a dynamic parallelization approach. In DOJ, a developer annotates code blocks as tasks to decouple these blocks from the parent executi...