4722 search results - page 37 / 945 » Representation-independent program analysis |
ISCIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Every running thread has its own thread context that consists of values of the fields of the target thread object. To consider the thread context in understanding the be...
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
Dividing the heap memory of programs into regions is the starting point of region-based memory management. In our existing work of enabling region-based memory management for Merc...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
AISS
2010
13 years 2 months ago
2010
Computer programming is one of the most essential skills which each graduate has to acquire. However, there are reports that they are unable to write a program well. Researches in...
IPPS
2003
IEEE
14 years 29 days ago
2003
IEEE
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machinedependent task. Th...