An abstract interpretation framework for termination (Q2942877)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An abstract interpretation framework for termination |
scientific article |
Statements
An abstract interpretation framework for termination (English)
0 references
11 September 2015
0 references
abstract interpretation
0 references
induction
0 references
safety
0 references
static analysis
0 references
termination
0 references
variant function
0 references
verification
0 references
