AsmaaHailane/blaze
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
HaskellBSD-2-Clause
Watchers
No one’s watching this repository yet.
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
HaskellBSD-2-Clause
No one’s watching this repository yet.