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)
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
