Improving flow analyses via ΓCFA (Q5501455)
From MaRDI portal
scientific article; zbMATH DE number 6469466
Language | Label | Description | Also known as |
---|---|---|---|
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