Widening and narrowing operators for abstract interpretation (Q2275526): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.cl.2010.09.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2113299870
@@ Property / OpenAlex ID: W2113299870 / rank @@
+Normal rank
@@ Property / cites work @@
+Precise widening operators for convex polyhedra
@@ Property / cites work: Precise widening operators for convex polyhedra / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414726
@@ Property / cites work: Q4414726 / rank @@
+Normal rank
@@ Property / cites work @@
+A Practical String Analyzer by the Widening Approach
+Normal rank
@@ Property / cites work @@
+Combinations of abstract domains for logic programming: Open product and generic pattern construction
+Normal rank
@@ Property / cites work @@
+The quotient of an abstract interpretation
@@ Property / cites work: The quotient of an abstract interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174789
@@ Property / cites work: Q4174789 / rank @@
+Normal rank
@@ Property / cites work @@
+``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation Refinement for Interpolation-Based Model Checking
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The reduced relative power operation on abstract domains
+Normal rank
@@ Property / cites work @@
+Q2736342
@@ Property / cites work: Q2736342 / rank @@
+Normal rank
@@ Property / cites work @@
+Type analysis of prolog using type graphs
@@ Property / cites work: Type analysis of prolog using type graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract domains for reordering CLP(RLin) programs
+Normal rank
@@ Property / cites work @@
+Abstract cofibered domains: Application to the alias analysis of untyped programs
+Normal rank