https://github.com/grin-compiler/souffle-cfa-optimization-experiment

Optimization attempt of the Lambda Control Flow Analysis (STG like language)
https://github.com/grin-compiler/souffle-cfa-optimization-experiment

cfa closures control-flow-analysis datalog functional-programming haskell lazy-evaluation souffle static-analysis stg

Last synced: 1 day ago
JSON representation

Optimization attempt of the Lambda Control Flow Analysis (STG like language)

• Host: GitHub
• URL: https://github.com/grin-compiler/souffle-cfa-optimization-experiment
• Owner: grin-compiler
• Created: 2020-05-16T13:27:41.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-05-21T00:19:23.000Z (over 4 years ago)
• Last Synced: 2023-03-05T20:36:47.792Z (over 1 year ago)
• Topics: cfa, closures, control-flow-analysis, datalog, functional-programming, haskell, lazy-evaluation, souffle, static-analysis, stg
• Language: HTML
• Homepage:
• Size: 1.93 MB
• Stars: 7
• Watchers: 4
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project