An abstract data type specifies values and operations independently of their storage. A FIFO queue has ordered sequences as its abstract values; an array and a linked list can represent those same values. A representation invariant identifies valid storage states, and an abstraction function says what each valid state means.[ref]
Reading 13: Abstraction Functions & Rep Invariants. Reading 13, Rep Invariant and Abstraction Function: representation values, abstract values, AF and RI
Articles by others on the same topic
There are currently no matching articles.