Right-linearity analysis: check whether functions are defined by right-linear rules.
Author: Michael Hanus
Version: April 2013
rlinAnalysis
:: Analysis Bool
The right-linearity analysis is a global function dependency analysis. |
showRightLinear
:: AOutFormat -> Bool -> String
|
hasRightLinearRules
:: FuncDecl -> Bool
|
linearExpr
:: Expr -> Bool
|
The right-linearity analysis is a global function dependency analysis. It assigns to a function a flag which is True if this function is right-linear, i.e., defined by right-linear rules and depend only on functions defined by right-linear rules. |
|
|
|