25 search results - page 2 / 5 » Dynamic heap type inference for program understanding and de... |
254
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
A memory leak in a garbage-collected program occurs when the program inadvertently maintains references to objects that it no longer needs. Memory leaks cause systematic heap grow...
195
click to vote
DLS
2009
15 years 18 days ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
160
click to vote
AADEBUG
1997
Springer
15 years 7 months ago
1997
Springer
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of the original program with respect to a variable(s) o...
197
click to vote
IFM
2010
Springer
15 years 22 days ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
196
Voted
SOFTVIS
2010
ACM
15 years 3 months ago
2010
ACM
A programs memory system performance is one of the key determinants of its overall performance. Lack of understanding of a programs memory system behavior can lead to performance ...