Module Domains

module Free_algebra : sig ... end

Free algebra domains, both for IMP (Classical) and SSA.

module Lift : sig ... end

The SSA_Lift functor, which lifts an SSA_Domain into a Classical_Domain and optionaly performs GVN.

module Numeric : sig ... end

Standard numeric domains, both for our classical and SSA programs. They all depend on a Single_value_abstraction.Sig.SingleValueAbstraction, used to represent values.

module Product : sig ... end

Domain products, used to combine abstractions

module Sig : sig ... end

Common signatures of IMP Classical_Domain and of SSA_Domain

module Transformations : sig ... end

Simple transformation functors