ion The ability to abstract data types in terms of their functionality facilitates analytic modeling of a problem. Theoretical computer scientists who want to see proofs of correctness ga in the most immediate advantage from this; analytic modeling is also useful to programmers who can rest assured that if their algorithm is correct then its usage will produce predictable results. Abstraction promotes polymorphism by disregarding certain details of an object and simply working with it in the context of an operation. The capacity to work on polymorphic objects makes an abstract data type more general and more useful. The time spent writing the A DT becomes a more valuable investment. Abstracting an object in terms of its functionality allows decisions of how it will be implemented to be deferred. After sufficient information about the context in which the object will be used is available, the most suitable implementation can be chosen.
Unfortunately, ACM prohibits us from displaying non-influential references for this paper.
To see the full reference list, please visit http://dl.acm.org/citation.cfm?id=32099.