1016 search results - page 34 / 204 » Automatic Analysis of Programming Assignments |
153
click to vote
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
This paper describes Automatic Pool Allocation, a transformation framework that segregates distinct instances of heap-based data structures into seperate memory pools and allows h...
137
click to vote
ALP
1994
Springer
15 years 9 months ago
1994
Springer
This paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. The logic is shown to be sound, complete and ...
109
Voted
PPPJ
2004
ACM
15 years 10 months ago
2004
ACM
To enable analysis and visualization of phased behavior in Java programs and to facilitate optimization development, we have implemented a freely-available, phase analysis framewo...
128
click to vote
ICPP
1994
IEEE
15 years 9 months ago
1994
IEEE
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...
149
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...