A modular static analysis approach to affine loop invariants detection (Q2814096)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A Modular Static Analysis Approach to Affine Loop Invariants Detection |
scientific article; zbMATH DE number 6594898
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A modular static analysis approach to affine loop invariants detection |
scientific article; zbMATH DE number 6594898 |
Statements
17 June 2016
0 references
abstract interpretation
0 references
fixed-point computation
0 references
loop invariant
0 references
0 references
A modular static analysis approach to affine loop invariants detection (English)
0 references
