Module Studia

module Studia: sig .. end

Computations of the statements that write a given memory zone.


module Writes: sig .. end
module Reads: sig .. end

Computations of the statements that read a given memory zone.