Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability (Q2145335)
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 7543918
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability |
scientific article; zbMATH DE number 7543918 |
Statements
Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability (English)
0 references
17 June 2022
0 references
pointer analysis
0 references
context sensitivity
0 references
CFL reachability
0 references
0.7514594793319702
0 references
0.7341883778572083
0 references
0.7309741973876953
0 references
