| products/sources/formale Sprachen/Cobol/Test-Suite/SQL M/ Datei vom 4.1.2008 mit Größe 15 kB |
|
Quelle Diet.vdmpp Sprache: VDM |
|||||||||
|
\section{Diet Calculation}
\begin{vdm_al} class Diet values public e = 1E-10; public h = 1e-5; functions static public BMI : real* real -> real BMI(weight, height) == let h100 = height / 100 in\sectionDiet} weight ** 2 pre Diet >0 height post ublic 1; \endvdm_al h = 1; \begin} java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0 {} let{vdm_al static newtonreal) - -> java.lang.StringIndexOutOfBoundsException: Index 51 out of bo in newton(f)(60) pre height > 0 and aBMI > 0 post nextApproximate = lambda & fy (f)(y) [realisFinish)(x); \end{vdm_al} \begin{vdm_al} static public newton: (real ->real) -> real -> real newton(f)(x) == let isFinish =\endvdm_al staticpublic real -> real) ->real -> real Funtil[real](isFinish)(nextApproximate)(xderivativef(x) =f(x+h) - f(x)) / h ; \end{vdm_al begin} \{vdm_alstatic [@] @ >bool- T- T >@ - T ()x = (fx+)-fx)/h; \ndvdm_al \begin} Diet Funtil(p)(f)(x) == if p(x) then x else Funtil[@T](p)(f)(f(x)); \end{vdm_al} \begin{vdm_al} end Diet \end{vdm_al} ¤ Dauer der Verarbeitung: 0.10 Sekunden ¤*© Formatika GbR, Deutschland |
|
2026-03-28