Searching for "Guided Static Analysis." – sorted by Relevance.
-
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

