A type for program points.
Implements forward dataflow analysis: the transfer function is applied when inputs to a Program point change, to obtain the new output value.
Implements forward dataflow analysis: the transfer function is applied when inputs to a Program point change, to obtain the new output value.
the transfer function.
the number of times we iterated before reaching a fixpoint.
collect statistics?
(dataFlowAnalysis: StringAdd).self
(dataFlowAnalysis: StringFormat).self
(dataFlowAnalysis: ArrowAssoc[DataFlowAnalysis[L]]).x
(Since version 2.10.0) Use leftOfArrow
instead
(dataFlowAnalysis: Ensuring[DataFlowAnalysis[L]]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
A generic framework for data flow analysis.