Indeterminism analysis:
check whether functions are indeterministic, i.e., might deliver
different results for different runs of a program.
This could be the case if there are explicit or implicit calls
to SetFunctions.select
or to a committed choice.
Author: Michael Hanus
Version: April 2013
indetAnalysis
:: Analysis Bool
The indeterminism analysis is a global function dependency analysis. |
showIndet
:: AOutFormat -> Bool -> String
|
|
The indeterminism analysis is a global function dependency analysis. It assigns to a function a flag which is True if this function might be indeterministic (i.e., calls directly or indirectly a select or committed choice operation). |
|
|