All Git Users → ilyasergey

2 open source projects by ilyasergey

[ Open user page on Github ]

Generic implementation of different CFA families based on monadic decomposition

✭ 16

haskell monads static-analysis abstract-interpretation k-cfa

2. plt-redex-fj

A PLT Redex implementation of Featherweight Java

✭ 14

racket featherweight-java plt-redex operational-semantics

1-2 of 2 user projects