18 search results - page 4 / 4 » Certifying Compilation for a Language with Stack Allocation |
PLDI
2006
ACM
13 years 11 months ago
2006
ACM
Garbage collection has proven benefits, including fewer memoryrelated errors and reduced programmer effort. Garbage collection, however, trades space for time. It reclaims memory...
PLDI
1999
ACM
13 years 9 months ago
1999
ACM
This paper presents a novel interprocedural, ow-sensitive, and context-sensitive pointer analysis algorithm for multithreaded programs that may concurrently update shared pointers...
STORAGESS
2005
ACM
13 years 11 months ago
2005
ACM
Improper access of data buffers is one of the most common errors in programs written in assembler, C, C++, and several other languages. Existing programs and OSs frequently acces...