Result invalidation for incremental modular analyses (Q6174404)
From MaRDI portal
scientific article; zbMATH DE number 7728625
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Result invalidation for incremental modular analyses |
scientific article; zbMATH DE number 7728625 |
Statements
Result invalidation for incremental modular analyses (English)
0 references
17 August 2023
0 references
static program analysis
0 references
incremental program analysis
0 references
modular program analysis
0 references
