Functor Dataflow.BwDFA

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

Parameters:

`SC`	:	`SCHEDULER`
`LT`	:	`LATTICE`
`CF`	:	`Ctrlflow.CTRLFLOW with type st = SC.st`
`DF`	:	`DATAFLOW with type st = SC.st and type l = LT.l`

type l

same as Dataflow.LATTICE.l

type st

same as Dataflow.SCHEDULER.st

val to_s : l -> string

same as Dataflow.LATTICE.to_s

val inn : st -> l

return IN for the given Dataflow.ANALYSIS.st

val out : st -> l

return OUT for the given Dataflow.ANALYSIS.st

val fixed_pt : unit -> unit

calculate fixed point

Web Accessibility