Exact join detection for convex polyhedra and other numerical abstractions (Q2269830): Difference between revisions

@@ Property / author @@
-Patricia M. Hill
@@ Property / author: Patricia M. Hill / rank @@
-Normal rank
@@ Property / author @@
+Patricia M. Hill
@@ Property / author: Patricia M. Hill / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PPL
@@ Property / describes a project that uses: PPL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PipLib
@@ Property / describes a project that uses: PipLib / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Octagon
@@ Property / describes a project that uses: Octagon / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.comgeo.2009.09.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2003535389
@@ Property / OpenAlex ID: W2003535389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Not necessarily closed convex polyhedra and the double description method
+Normal rank
@@ Property / cites work @@
+An Improved Tight Closure Algorithm for Integer Octagonal Constraints
+Normal rank
@@ Property / cites work @@
+Applications of polyhedral computations to the analysis and verification of hardware and software systems
+Normal rank
@@ Property / cites work @@
+Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
+Normal rank
@@ Property / cites work @@
+A case when the union of polytopes is convex
@@ Property / cites work: A case when the union of polytopes is convex / rank @@
+Normal rank
@@ Property / cites work @@
+Convexity recognition of the union of polyhedra
@@ Property / cites work: Convexity recognition of the union of polyhedra / rank @@
+Normal rank
@@ Property / cites work @@
+The explicit linear quadratic regulator for constrained systems
+Normal rank
@@ Property / cites work @@
+Corrigendum to: ``The explicit linear quadratic regulator for constrained systems''
+Normal rank
@@ Property / cites work @@
+Algorithm for finding a general formula for the non-negative solutions of a system of linear equations
+Normal rank
@@ Property / cites work @@
+Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities
+Normal rank
@@ Property / cites work @@
+Algorithm for discovering the set of all the solutions of a linear programming problem
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
+Normal rank
@@ Property / cites work @@
+Parametric integer programming
@@ Property / cites work: Parametric integer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Extended convex hull
@@ Property / cites work: Extended convex hull / rank @@
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
+Normal rank
@@ Property / cites work @@
+Q4529777
@@ Property / cites work: Q4529777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5817857
@@ Property / cites work: Q5817857 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
+Normal rank
@@ Property / cites work @@
+Q3499221
@@ Property / cites work: Q3499221 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Variables per Linear Inequality as an Abstract Domain
+Normal rank
@@ Property / cites work @@
+Q5603731
@@ Property / cites work: Q5603731 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2269830