An \b[<abstract data type>] specifies a collection of values and permitted operations through their observable behavior, independently of how those values are represented. A FIFO queue can therefore have linked-list or array implementations while satisfying the same abstract contract.

Solution

Past exam of the year 1 of the computer science course of the University of Oxford / 2017 / Imperative programming (resit) / 7 / a / Solution

 Solution (source code)