Optimization attempt of the Lambda Control Flow Analysis (STG like language)
haskell
functional-programming
cfa
static-analysis
datalog
control-flow-analysis
lazy-evaluation
closures
stg
souffle
-
Updated
May 21, 2020 - HTML
Optimization attempt of the Lambda Control Flow Analysis (STG like language)
Add a description, image, and links to the control-flow-analysis topic page so that developers can more easily learn about it.
To associate your repository with the control-flow-analysis topic, visit your repo's landing page and select "manage topics."