Incremental and modular context-sensitive analysis (Q4957220)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7390870
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Incremental and modular context-sensitive analysis |
scientific article; zbMATH DE number 7390870 |
Statements
Incremental and Modular Context-sensitive Analysis (English)
0 references
3 September 2021
0 references
program analysis
0 references
incremental analysis
0 references
modular analysis
0 references
constrained Horn clauses
0 references
abstract interpretation
0 references
fixpoint algorithms
0 references
logic and constraint programming
0 references
0 references
0 references
0.78787761926651
0 references
0.783990204334259
0 references
0.7687138319015503
0 references
0.7617712616920471
0 references
0.7562845349311829
0 references
