Author: Stan Eisenstat
Subject: Re: [Cs223] Parnas' Second Rule
Date: Monday, 02 Mar 2020, 07:39:22

    > Message Posted By: Unknown
    >
    > Could you explain what you meant by "implementation constrained by
    > interface but no more"

The implementation of the ADT is not required to have
any properties that are not specified in the interface.
For example, consider the Deque ADT in Homework #4 Qsort.
The interface requires only that the Deque variable be a
pointer to struct and that the Deque functions behave as
described.  It allows the implementation to use arrays
(such as in the Queue ADT handout) or singly- or doubly-
linked lists (as in Aspnes' notes) or a pair of stacks
(as required by the specification of Qsort).

--Stan-