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

Publication date: 1985

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

implementation specification object-manager model PARAGON refinement of data abstractions selection of abstract data types

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05)

This page was built for publication: Paragon: a language using type hierarchies for the specification, implementation and selection of abstract data types