Paragon: a language using type hierarchies for the specification, implementation and selection of abstract data types (Q761792)

This work - the author's Ph.D. degree thesis - describes a set of language features which supports the specification, implementation, and selection of abstract data types; the refinement of data abstractions and the uniform treatment of specifications, implementations and executions as elaborations are the very basic paradigms of the author's practical approach. The programming language introduced (PARAGON) benefits by many data abstraction facilities which are used in an integrate manner (mostly based on the object-manager model); there are some new, interesting facilities such as: the use of multiply inherited classes, the overall use of parameters in the refinement of specifications, the ability to provide combined representations, the uniform object notation, the programmer defined attributes of abstract data types, the uniform representation selection (based on the possibility tree), and so on; every aspect of data elaboration is minutely considered. The work is very well-grounded and materialized in a prototype system which was run on several example programs.