AlecsFerra/RecStaticAnalyzer

An abstract interpretation based static analyzer for the REC programming language, supports strictness and sign analysis

语言：Haskell · GitHub 星标：4 · Fork：0

话题：abstract-interpretation · functional-programming · static-analysis

在 GitHub 上查看原仓库