The Conversion of a Set , a Sequence , and a Map in VDM to a Linked List in a Programming Language


The KIPS Transactions:PartD, Vol. 8, No. 4, pp. 421-426, Aug. 2001
10.3745/KIPSTD.2001.8.4.421,   PDF Download:

Abstract

A formal development method is used to develop software rigorously and systematically. In a formal development method, we specify system by a formal specification language and gradually develop the system more concretely until we can implement the system. VDM is one of formal specification languages. VDM uses mathematical data structures such as sets, sequences, and maps to specify the system, but most programming languages do not have such data structures. Therefore, these data structures should be converted. We can convert mathematical data structures in VDM to a linked list, a data structure in a programming language. In this article, we propose a method to convert a set, a sequence, and a map in VDM to a linked list in a programming language and prove the correctness of this conversion mathematically.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
M. S. Yoo, "The Conversion of a Set , a Sequence , and a Map in VDM to a Linked List in a Programming Language," The KIPS Transactions:PartD, vol. 8, no. 4, pp. 421-426, 2001. DOI: 10.3745/KIPSTD.2001.8.4.421.

[ACM Style]
Moon Sung Yoo. 2001. The Conversion of a Set , a Sequence , and a Map in VDM to a Linked List in a Programming Language. The KIPS Transactions:PartD, 8, 4, (2001), 421-426. DOI: 10.3745/KIPSTD.2001.8.4.421.