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

zbMATH Open0557.68023MaRDI QIDQ761792FDOQ761792

Authors: Mark Steven Sherman 

Publication date: 1985

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

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

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)

Cited In (1)

• Title not available (Why is that?)

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)