4722 search results - page 510 / 945 » Representation-independent program analysis |
173
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
188
click to vote
ASPLOS
2006
ACM
16 years 23 days ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
148
click to vote
RECOMB
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. While nonribosomal peptides (NRPs) are of tremendous pharmacological importance, there is currently no technology capable of highthroughput sequencing of NRPs. Difficulti...
171
click to vote
ESOP
2007
Springer
16 years 28 days ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
157
click to vote
ESOP
2005
Springer
16 years 9 days ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...