| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMSL/LUPSL/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 1 kB |
|
Quelle README.txt Sprache: Text |
|||||||||
|
Author: Lothar Schmitz
This VDM model is made by Lothar Schmitz and it has taken different standard algorithms for the length of longest upsequence problem from David Gries and Janusz Laski (see references below). Different versions of the algorithms are included. See also: David Gries: The Science of Programming, Springer-Verlag 1981, pp. 259-262. Janusz Laski und William Stanley, Software Verification and Analysis, Springer-Verlag, 2009. Language Version: vdm10 Entry point : DEFAULT`lupsmOp1Gries(DEFAULT`a1) Entry point : DEFAULT`lupsmOp1Gries(DEFAULT`a2) Entry point : DEFAULT`lupsmOp1Gries(DEFAULT`a3) Entry point : DEFAULT`lupsmOp1Gries(DEFAULT`a4) Entry point : DEFAULT`lupsmOp1Gries(DEFAULT`a5) Entry point : DEFAULT`lupslOp1Laski(DEFAULT`a1) Entry point : DEFAULT`lupslOp1Laski(DEFAULT`a2) Entry point : DEFAULT`lupslOp1Laski(DEFAULT`a3) Entry point : DEFAULT`lupslOp1Laski(DEFAULT`a4) Entry point : DEFAULT`lupslOp1Laski(DEFAULT`a5) Entry point : DEFAULT`lupsmOp2Gries(DEFAULT`a1) Entry point : DEFAULT`lupsmOp2Gries(DEFAULT`a2) Entry point : DEFAULT`lupsmOp2Gries(DEFAULT`a3) Entry point : DEFAULT`lupsmOp2Gries(DEFAULT`a4) Entry point : DEFAULT`lupsmOp2Gries(DEFAULT`a5) Entry point : DEFAULT`lupslOp2Laski(DEFAULT`a1) Entry point : DEFAULT`lupslOp2Laski(DEFAULT`a2) Entry point : DEFAULT`lupslOp2Laski(DEFAULT`a3) Entry point : DEFAULT`lupslOp2Laski(DEFAULT`a4) Entry point : DEFAULT`lupslOp2Laski(DEFAULT`a5) ¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28