Program construction and verification
Program construction and verification
Abstraction and specification in program development
Abstraction and specification in program development
Walls and Mirrors; Intermediate Problem Solving and Data Structures
Walls and Mirrors; Intermediate Problem Solving and Data Structures
Hi-index | 0.00 |
In Computer Science 2 or Data Structures courses, a major topic is the concept of an abstract data type (ADT). Students often have difficulty grasping this concept in the beginning because of the abstractness of "a data object with operations performed on the object." [2] An abstract data type based on a robot sorting pebbles gives students much needed concreteness for their initial exposure.