The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists)

@article{Wang2011TheFD,
  title={The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists)},
  author={Yingxu Wang and Cyprian F. Ngolah and Xinming Tan and Phillip C.-Y. Sheu},
  journal={IJSSCI},
  year={2011},
  volume={3},
  pages={83-102}
}
Abstract Data Types ADTs are a set of highly generic and rigorously modeled data structures in type theory. Lists as a finite sequence of elements are one of the most fundamental and widely used ADTs in system modeling, which provide a standard encapsulation and access interface for manipulating large-volume information and persistent data. This paper develops a comprehensive design pattern of formal lists using a doubly-linked-circular DLC list architecture. A rigorous denotational mathematics… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 30 REFERENCES

A systematic study of models of abstract data types

M. Broy, C. Pair, M. Wirsing
  • Theoretical Computer Science,
  • 1984
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

Abstract Data Types and the Development of Data Structures

  • Conference on Data: Abstraction, Definition and Structure
  • 1976
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Mathematical laws of software

Y. Wang
  • Transactions of Computational Science, 2, 46–83. doi:10.1007/978-3-540-87563-5_4
  • 2008
VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

The Real-Time Process Algebra (RTPA)

  • Ann. Software Eng.
  • 2002
VIEW 7 EXCERPTS