Searching for "Widening Operators for Abstract Interpretation." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
A Position Paper on Compile-time Program Analysis
- … abstraction functions and widening operators in abstract interpretation. We also should consider the option…
- Cited by 1 (0 self) – Add To MetaCart
-
An Experiment in Type Inference and Verification by Abstract Interpretation
- … as the application of a widening operator. In abstract interpretation, widening operators, which provide an upper…
- Cited by 1 (0 self) – Add To MetaCart
-
Reachability in conditional term rewriting systems
- … in abstract interpretation. In such techniques, the widening is defined once and it ensures termination in any…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 3.
