Data Reification
Classroom Specification - could implement the set d of people as a linked list or as an array, but any proofs relating specification and proof would be more complicated that necessary.
A design involving sequences rather than sets would help here, reducing the distance between specification and implementation and resulting is much less complicated proofs.
Data Reification: the process of taking an abstract mathematical data type, like a set and representing it in another way , e.g. as a sequence.
- Transforms one data type to another
- Transforms an abstract data type into a more concrete one.
-