Relating complexity and precision in control flow analysis (Q5168927)
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 6318896
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Relating complexity and precision in control flow analysis |
scientific article; zbMATH DE number 6318896 |
Statements
Relating complexity and precision in control flow analysis (English)
0 references
21 July 2014
0 references
complexity
0 references
continuation
0 references
control flow analysis
0 references
eta expansion
0 references
geometry of interaction
0 references
linear logic
0 references
normalization
0 references
proofnet
0 references
static analysis
0 references
0.8513188362121582
0 references
0.7945770025253296
0 references
0.7812957763671875
0 references
0.780515730381012
0 references
