ilyasergey/monadic-cfa

Generic implementation of different CFA families based on monadic decomposition

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

话题：abstract-interpretation · haskell · k-cfa · monads · static-analysis

在 GitHub 上查看原仓库