Static Analysis

DOI10.1007/11547662MaRDI QIDQ5897441zbMATH OpenOpenAlexFDO

Authors Axel Simon, Andy King

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

Mathematics Subject Classification ID

Computational aspects related to convexity (52B55) Nonnumerical algorithms (68W05) Approximation methods and heuristics in mathematical programming (90C59)

Recommendations

• Projection onto a polyhedron that exploits sparsity
• Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming
• Sparsity preserving algorithms for octagons
• Speeding up polyhedral analysis by identifying common constraints
• scientific article; zbMATH DE number 1615255

Cited in

(12)

• A note on the inversion join for polyhedral analysis
• Speeding up polyhedral analysis by identifying common constraints
• Projection onto a polyhedron that exploits sparsity
• Efficient elimination of redundancies in polyhedra by raytracing
• Splitting the Control Flow with Boolean Flags
• Logahedra: a new weakly relational 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
• An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection
• The two variable per inequality abstract domain
• Approximating polyhedra with sparse inequalities

This page was built for publication: Static Analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5897441)