Motivated by a concrete goal, namely to extend Erlang with the ability to employ user-defined guards, we developed a parameterized static analysis tool called PURITY, that classifies functions as referentially transparent (i.e., sideeffect free with no dependency on the execution environment and never raising an exception), side-effect free with no dependencies but possibly raising exceptions, ...

The study was attempted with an objective to check the purity of commonly used farmer’s rice seed stock. Assessment of varietal purity of collected 76 rice genotypes showed that there was a variation among the genotypes for varietal purity. Thirty-two genotypes showed 100% varietal purity and forty-four genotypes were contaminated with different types of offtypes. The lowest varietal purity was...