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

Language: Scala - Size: 23.3 MB - Last synced at: 3 months ago - Pushed at: over 9 years ago - Stars: 30 - Forks: 4