Searching for "Guided Static Analysis." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Guided static analysis
- …Guided Static Analysis ⋆ Denis Gopan 1 and Thomas Reps 1,2 1 University of Wisconsin 2 Gramma…
- Cited by 1 (1 self) – Add To MetaCart
-
accepted on the recommendation of
- … are implemented as a sparse program instrumentation that is guided by the static analysis and optimized…
- Add To MetaCart
-
On the Boolean Algebra of Shape Analysis Constraints
- …, specifications can guide the static analysis and provide hints for it, while at the same time leaving a…
- Cited by 14 (9 self) – Add To MetaCart
-
A Framework for Testing Concurrent Programs
- … to guide the static analysis. This by itself is not necessarily bad: After all, this very thesis proposes…
- Add To MetaCart
-
Optimization of Asynchronous Communication in Concurrent Functional Languages.
- … researchers [5], [15]. Profile information has also been used to guide static analysis [7], [2]. Process…
- Add To MetaCart
-
Towards a Box Calculus for Hierarchical Hume
- … decidable, levels, guided by static analysis. An important target of Hume programs is safety…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 6.
