514 search results - page 52 / 103 » Dependency Analysis of Ada Programs |
159
Voted
APSEC
1998
IEEE
15 years 7 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
105
Voted
CAV
2007
Springer
15 years 9 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
143
Voted
TOOLS
2000
IEEE
15 years 7 months ago
2000
IEEE
The research presented here addresses the problem of change impact analysis CIA for object-oriented software. A major problem for developers in an evolutionary environment is th...
145
Voted
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
131
Voted
ICCD
2002
IEEE
15 years 7 months ago
2002
IEEE
An important technique for alleviating the memory bottleneck is data prefetching. Data prefetching solutions ranging from pure software approach by inserting prefetch instructions...