An analysis to approximate the result values of operations
in a Curry program.
This analysis is parametric over a domain approximating
data terms, as defined in the library Analysis.TermDomain
,
like a domain of outermost (top-level) constructors or
depth-bounded terms.
Author: Michael Hanus
Version: October 2023
showValue
:: TermDomain a => AOutFormat -> a -> String
|
resultValueAnalysisTop
:: Analysis AType
Result value analysis for the top-constructor domain. |
resultValueAnalysis2
:: Analysis DType2
Result value analysis for the depth-2 term domain. |
resultValueAnalysis5
:: Analysis DType5
Result value analysis for the depth-5 term domain. |
|
Result value analysis for the top-constructor domain. |
Result value analysis for the depth-2 term domain. |
Result value analysis for the depth-5 term domain. |