| Portability | unportable |
|---|---|
| Stability | unstable |
| Maintainer | Martin Avanzini <martin.avanzini@uibk.ac.at> |
| Safe Haskell | Safe-Infered |
Tct.Method.DP.PathAnalysis
Contents
Description
This module provides the path analysis with respect to dependency graphs.
Documentation
pathAnalysis :: Bool -> TheTransformer PathAnalysis
Implements path analysis. If the given argument is True, then
linear path analysis is employed.
Proof Object
data PathProof
Processor
data PathAnalysis