Multivariant assertion-based guidance in abstract interpretation (Q6085982)
From MaRDI portal
scientific article; zbMATH DE number 7762991
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Multivariant assertion-based guidance in abstract interpretation |
scientific article; zbMATH DE number 7762991 |
Statements
Multivariant assertion-based guidance in abstract interpretation (English)
0 references
9 November 2023
0 references
program analysis
0 references
multivariance
0 references
context sensitivity
0 references
abstract interpretation
0 references
assertions
0 references
static analysis
0 references
user guidance
0 references
