O
OCaml
Projects with this topic
-
Abstract domain for function graphs, and fixpoint solvers based on them
Updated -
-
An OCaml library implementing ZDDs (Zero-suppressed Binary Decision Diagrams), upward-closed set families, and downward-closed set families
Updated -
A library that implements dependent (heterogeneous) immutable maps
Updated -
Static analyzers for higher-order languages
Updated -
Formalization in Coq and Why3 of a theory about weak control dependence
Updated -
A library of monadic combinators for decoding S-expressions (as defined in the Csexp library) into structured data.
Updated