Domains
module Free_algebra : sig ... end
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