Static Analysis
From MaRDI portal
Publication:5897441
DOI10.1007/11547662zbMath1141.68654OpenAlexW4229853237MaRDI QIDQ5897441
Publication date: 31 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11547662
Computational aspects related to convexity (52B55) Nonnumerical algorithms (68W05) Approximation methods and heuristics in mathematical programming (90C59)
Related Items (9)
Efficient Elimination of Redundancies in Polyhedra by Raytracing ⋮ Splitting the Control Flow with Boolean Flags ⋮ The two variable per inequality abstract domain ⋮ Computational tools for solving a marginal problem with applications in Bell non-locality and causal modeling ⋮ Stratified Static Analysis Based on Variable Dependencies ⋮ Summarized Dimensions Revisited ⋮ A Note on the Inversion Join for Polyhedral Analysis ⋮ Speeding up Polyhedral Analysis by Identifying Common Constraints ⋮ Logahedra: A New Weakly Relational Domain
This page was built for publication: Static Analysis