0-CFA and k-CFA implementation for small functional language.
Primary LanguageOCaml
This repository is not active