Module Dataflow

module Dataflow: sig .. end

This module provides data-flow analysis frameworks

module type SCHEDULER = sig .. end

Scheduler

module Worklist: SCHEDULER  with type st = Dex.link

simple queue-based scheduler

module type LATTICE = sig .. end

Lattice

module type DATAFLOW = sig .. end

Data-flow

module type ANALYSIS = sig .. end

Data-flow analysis

module FwDFA: functor (SC : SCHEDULER) -> functor (LT : LATTICE) -> functor (CF : Ctrlflow.CTRLFLOW  with type st = SC.st) -> functor (DF : DATAFLOW  with type st = SC.st and type l = LT.l) -> ANALYSIS  with type st = SC.st and type l = LT.l

Forward Data-flow analysis

module BwDFA: functor (SC : SCHEDULER) -> functor (LT : LATTICE) -> functor (CF : Ctrlflow.CTRLFLOW  with type st = SC.st) -> functor (DF : DATAFLOW  with type st = SC.st and type l = LT.l) -> ANALYSIS  with type st = SC.st and type l = LT.l

Backward Data-flow analysis

Web Accessibility