Static analysis by abstract interpretation: a mathematical programming approach
From MaRDI portal
Recommendations
- Static analysis by abstract interpretation of the functional correctness of matrix manipulating programs
- Theories, solvers and static analysis by abstract interpretation
- Certified Static Analysis by Abstract Interpretation
- Static analysis, abstract interpretation and verification in (constraint logic) programming
- Logical Interpretation: Static Program Analysis Using Theorem Proving
- scientific article; zbMATH DE number 2243645
- Static analysis: a brief survey
- A Calculational Approach to Control-Flow Analysis by Abstract Interpretation
- On the complexity analysis of static analyses
Cites work
- scientific article; zbMATH DE number 3610766 (Why is no real title available?)
- A feasibility pump for mixed integer nonlinear programs
- A lattice-theoretical fixpoint theorem and its applications
- A new polynomial-time algorithm for linear programming
- Abstract Interpretation Frameworks
- An algorithmic framework for convex mixed integer nonlinear programs
- Automatic modular abstractions for linear constraints
- Branching and bounds tighteningtechniques for non-convex MINLP
- Computer Aided Verification
- Computer Aided Verification
- Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
- Foundations of computational intelligence. Volume 3: Global optimization
- Model building in mathematical programming.
- Polynomial Precise Interval Analysis Revisited
- Precise Fixpoint Computation Through Strategy Iteration
- Precise Relational Invariants Through Strategy Iteration
- Preprocessing and Probing Techniques for Mixed Integer Programming Problems
- Reformulations in Mathematical Programming: Definitions and Systematics
- Static Analysis by Policy Iteration on Relational Domains
- Verification, Model Checking, and Abstract Interpretation
- Verification, Model Checking, and Abstract Interpretation
Cited in
(22)- An integer static analysis for better extrapolation in Uppaal
- Mathematical programming: Turing completeness and applications to software analysis
- scientific article; zbMATH DE number 1953022 (Why is no real title available?)
- Compiler Construction
- Static analysis of arithmetical congruences
- On multi-language abstraction. Towards a static analysis of multi-language programs
- Side-constrained minimum sum-of-squares clustering: mathematical programming and random projections
- Programming Languages and Systems
- Static analysis: a brief survey
- Analyzing mathematical programs using MProbe
- Verification, Model Checking, and Abstract Interpretation
- scientific article; zbMATH DE number 2087567 (Why is no real title available?)
- Inferring functional properties of matrix manipulating programs by abstract interpretation
- Mathematical programming based debugging
- Computer Aided Verification
- Rewriting Approximations for Fast Prototyping of Static Analyzers
- Constraint qualification failure in action
- Dynamic interval analysis by abstract interpretation
- Programming Languages and Systems
- Static analysis by abstract interpretation of the functional correctness of matrix manipulating programs
- Improving strategies via SMT solving
- Static analysis based on formal models and incremental computation in Go programming
This page was built for publication: Static analysis by abstract interpretation: a mathematical programming approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2814107)
