GitHub / grin-compiler / souffle-cfa-optimization-experiment
Optimization attempt of the Lambda Control Flow Analysis (STG like language)
Stars: 8
Forks: 0
Open issues: 0
License: None
Language: HTML
Size: 1.93 MB
Dependencies parsed at: Pending
Created at: almost 5 years ago
Updated at: 4 months ago
Pushed at: almost 5 years ago
Last synced at: 19 days ago
Topics: cfa, closures, control-flow-analysis, datalog, functional-programming, haskell, lazy-evaluation, souffle, static-analysis, stg
Loading...