Module Calculus

module Calculus: sig .. end
Wp computation using the CFG

Generic WP calculus


module Cfg: 
functor (W : Mcfg.S) -> sig .. end