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


Vol. 8,  No. 4, pp. 421-426, Aug.  2001
10.3745/KIPSTD.2001.8.4.421


PDF
  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
  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.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals