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

MaRDI QIDQ761792zbMATH OpenFDO

Authors Mark Steven Sherman

Publication date 1985

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

zbMATH Keywords

implementationspecificationobject-manager modelPARAGONrefinement of data abstractionsselection of abstract data types

Mathematics Subject Classification ID

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

Recommendations

• A paradigmatic object-oriented programming language: Design, static typing and semantics
• scientific article; zbMATH DE number 4062557
• Publication:4723274
• An operational semantics for paragon: A design notation for parallel architectures
• scientific article; zbMATH DE number 554480
• scientific article; zbMATH DE number 52915
• A polymorphic type system for Prolog
• On the implementation of abstract data types by programming language constructs
• scientific article; zbMATH DE number 3898212
• The design and application of structured types in Ptolemy II

Cited in

(1)

• scientific article; zbMATH DE number 3894452 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q761792)