98 search results - page 1 / 20 » A semantics for procedure local heaps and its abstractions |
POPL
2005
ACM
14 years 5 months ago
2005
ACM
VMCAI
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
ICFEM
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
CAV
2007
Springer
13 years 11 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
PSLS
1995
13 years 8 months ago
1995
Abstract. Lazy task creation (LTC) is an e cient approach for executing divide and conquer parallel programs that has been used in the implementation of Multilisp's future con...