0 the ability of something to limit someone's freedom very much: --
the increased strictness of the immigration rules
Given that the intended readership was primarily non-specialist, strictness of terminology may not have been a crucial concern.
In subsection 2.1 we use the notion of contextual equivalence to define strictness of functions.
Generally, it is very complicated or even not possible at all to derive such strictness by some kind of static analysis.
A non-compositional approach will need to export the code of the function in order to perform strictness analysis in places where the function is used.
Corollaries 3.33 and 3.34 claim that strictness information is correctly detected on a custom-tailored input.
Again, the presence of lifting in strictness analysis meant that the two analyses were hard to compare formally.
The strictness annotations on the arguments in these functions can also be derived by a strictness analyser.
This is contrary to most strictness analysers, where the strictness property of an expression has to be computed anew whenever one of its subexpressions changes.
