1914 search results - page 310 / 383 » Verification by Abstract Interpretation |
112
Voted
ICSE
2008
IEEE-ACM
16 years 21 days ago
2008
IEEE-ACM
Understanding the structure of large existing (and evolving) software systems is a major challenge for software engineers. In reverse engineering, we aim to compute, for a given s...
134
Voted
ICFP
2002
ACM
16 years 17 days ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
106
Voted
ICDE
2010
IEEE
16 years 10 days ago
2010
IEEE
We present the application of customized code generation to database query evaluation. The idea is to use a collection of highly efficient code templates and dynamically instantiat...
101
Voted
VMCAI
2009
Springer
15 years 7 months 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 ...
CSE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—We present here a method for analyzing the neighborhoods of all the vertices in a large graph. We first give an algorithm for characterizing a simple undirected graph t...