2673 search results - page 224 / 535 » Guided Static Analysis |
145
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
147
click to vote
RT
2005
Springer
15 years 11 months ago
2005
Springer
We propose an adaptive form of frameless rendering with the potential to dramatically increase rendering speed over conventional interactive rendering approaches. Without the rigi...
164
click to vote
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...
152
click to vote
VMCAI
2009
Springer
16 years 20 days ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
135
click to vote
SAS
2007
Springer
16 years 21 hour ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...