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

Abstract.- Goals of Paragon and their relation to previous efforts.- The basic of Paragon.- The object-manager model and its implementation.- Selection of implementations.- A complete example using Paragon.- Implementation.- Retrospective on the language design and implementation.