This work specifies a number of abstract data types (ADT) in
VDM-SL. This includes single-linked lists, double-linked lists,
queues, stacks and binary trees. In addition this work is initiating a
translation from VDM-SL to Modula-2 so system addressing and dynamic
memory handing is specified in VDM-SL. This work was done by Matthew
Suderman when he was a student at Trinity Western University in the
Spring Semester, 1997.
Language Version: classic
Entry point : DEFAULT`TestTrees()
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
