4716 search results - page 167 / 944 » Iterative-free program analysis |
114
click to vote
SAS
2004
Springer
15 years 7 months ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
115
Voted
CIKM
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents an interactive visualization toolkit for navigating and analyzing the National Science Foundation (NSF) funding information. Our design builds upon an improved...
122
Voted
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
—Although many static-analysis techniques have been developed for automatically detecting bugs, such as null dereferences, fewer automated approaches have been presented for anal...
142
Voted
UIST
2010
ACM
15 years 11 days ago
2010
ACM
We present Gestalt, a development environment designed to support the process of applying machine learning. While traditional programming environments focus on source code, we exp...
110
Voted
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...