Author: Peter Gorm Larsen


This VDM model is made by Peter Gorm Larsen as an exploration of how
the looseness in a subset of VDM-SL. So this is illustrating how it is
possible to explore all models is a simple fashion including the
possibility of recursive functions where looseness is involved inside
each recursive call. A paper about this work have been published as:

Peter Gorm Larsen, Evaluation of Underdetermined Explicit Expressions,
Formal Methods Europe'94: Industrial Benefit of Formal Methods,
Springer Verlag, October 1994.


Language Version: vdm10
Entry point     : DEFAULT`LooseEvalExpr(expr2)
Entry point     : DEFAULT`LooseEvalExpr(mk_NumLit(8))
Entry point     : DEFAULT`LooseEvalExpr(expr)