Fixpoint
module Reduce : sig ... end
module Regex : sig ... end
This implements a regular expression suitable for forward dataflow analysis (concat has been replaced by append), where the regular expression is represented using a term graph.
module Region_analysis : sig ... end
module Region_analysis_sig : sig ... end
module Wto : sig ... end
Weak topological orderings (WTOs) are a hierarchical decomposition of the a graph where each layer is topologically ordered and strongly connected components are aggregated and ordered recursively. This is a very convenient representation to describe an evaluation order to reach a fixpoint.
module Wto_iteration : sig ... end
module Wto_utils : sig ... end