ilyasergey/reachability

Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language

语言：Scala · GitHub 星标：31 · Fork：4

话题：abstract-garbage-collection · control-flow-analysis · k-cfa · pushdown-automaton · scheme

在 GitHub 上查看原仓库