Results 221 to 230 of about 1,171,805 (264)

The Formal Design Models of a Set of Abstract Data Types (ADTs)

International Journal of Software Science and Computational Intelligence, 2010
Type theories are fundamental for underpinning data object modeling and system architectural design in computing and software engineering. Abstract Data Types (ADTs) are a set of highly generic and rigorously modeled data structures in type theory.
Yingxu Wang, Xinming Tan, Cyprian F. Ngolah, Philip Sheu   +3 more
semanticscholar   +4 more sources

Abstract Data Type Sets—II

, 1990
In chapter 5 we looked at general implementations of the ADT set. As we noticed, not all the set operations could be implemented efficiently using a single data structure. However, many applications using sets require only a limited number of set operations.
Manoochehr Azmoodeh
  +4 more sources