| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMSL/recursiveSL/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 373 B |
|
Quelle README.txt Sprache: Text |
|||||||||
|
Author: John Fitzgerald and Peter Gorm Larsen
This example is made by John Fitgerald and Peter Gorm Larsen and it is used in the chapter about recursion in the second edition of the VDM-SL book. It contains a number of examples for recursive graph structures and functionality over such graphs. Language Version: classic Entry point : DEFAULT`AllLabDesc(lgraph,1) ¤ Dauer der Verarbeitung: 0.10 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28