Improving flow analyses via ΓCFA (Q5501455)
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 6469466
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Improving flow analyses via ΓCFA |
scientific article; zbMATH DE number 6469466 |
Statements
Improving flow analyses via ΓCFA (English)
0 references
3 August 2015
0 references
CPS
0 references
abstract counting
0 references
abstract garbage collection
0 references
continuations
0 references
environment analysis
0 references
flow analysis
0 references
functional languages
0 references
gamma-CFA
0 references
inlining
0 references
lambda calculus
0 references
program analysis
0 references
superbeta
0 references
0.88012344
0 references
0.8473084
0 references
0.8473084
0 references
0.8371731
0 references
0.8299786
0 references
0.8296627
0 references
0.8213952
0 references
