| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/diet2japanPP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 319 B |
|
Quelle README.txt Sprache: Text |
|||||||||
|
Author: Shin Sahara
This example is made by Shin Sahara as a test of local higher order functions defined inside explicit function definitions in order to test the correct interpretation of these constructs. Language Version: classic Entry point : Diet`BMI(100,200) Entry point : Diet`getWeightFromBMI(55,76) ¤ Dauer der Verarbeitung: 0.8 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28