The purpose of this chapter is to elaborate on the concepts of developing generic software. On completing the chapter, the student should understand and be able to use the following:
No new data types are taken up in this chapter.
routines that handle data expressed as generic itemsRealized in the Modula-2 notation:
formally defined generic routines and their refinementsProgramming Abstractions General:
expression of abstract data types such as structures in data-independent (generic) waysRealized in the Modula-2 notation:
formally defined generic modules, refinement as separate modules and as local modules, adding and removing ADT facilities using local refinement