Pages that link to "Item:Q2814107"
From MaRDI portal
The following pages link to Static analysis by abstract interpretation: a mathematical programming approach (Q2814107):
Displaying 18 items.
- Mathematical programming: Turing completeness and applications to software analysis (Q405669) (← links)
- Static analysis based on formal models and incremental computation in Go programming (Q817794) (← links)
- An integer static analysis for better extrapolation in Uppaal (Q832038) (← links)
- Static analysis by abstract interpretation of the functional correctness of matrix manipulating programs (Q1664391) (← links)
- Constraint qualification failure in action (Q1694785) (← links)
- Inferring functional properties of matrix manipulating programs by abstract interpretation (Q1791274) (← links)
- Side-constrained minimum sum-of-squares clustering: mathematical programming and random projections (Q2131141) (← links)
- Mathematical programming based debugging (Q2861570) (← links)
- Improving Strategies via SMT Solving (Q3000582) (← links)
- (Q4414380) (← links)
- Static analysis: a brief survey (Q4644578) (← links)
- Programming Languages and Systems (Q5308687) (← links)
- Compiler Construction (Q5308734) (← links)
- Rewriting Approximations for Fast Prototyping of Static Analyzers (Q5432332) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711514) (← links)
- Computer Aided Verification (Q5716589) (← links)
- Analyzing mathematical programs using MProbe (Q5959311) (← links)
- Dynamic interval analysis by abstract interpretation (Q6488338) (← links)