Pages that link to "Item:Q3512505"
From MaRDI portal
The following pages link to A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis (Q3512505):
Displaying 6 items.
- Discovering invariants via simple component analysis (Q435979) (← links)
- Cost analysis of object-oriented bytecode programs (Q764297) (← links)
- Linear Absolute Value Relation Analysis (Q3000578) (← links)
- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (Q3392932) (← links)
- Analysis of Executable Software Models (Q5175771) (← links)
- Type-based amortized resource analysis with integers and arrays (Q5371954) (← links)
