scientific article; zbMATH DE number 3799000

zbMATH Open0506.68023MaRDI QIDQ4743722FDOQ4743722

Authors: Udo W. Lipeck 

Publication date: 1982

Title of this publication is not available (Why is that?)

zbMATH Keywords

algebraic specificationdesign languagesparametric abstract data typeshierarchy of modules and implementations

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (3)

• Algebraic specification of modules and their basic interconnections
• The equational theory of parameterized specifications
• On the implementation of abstract data types by programming language constructs

This page was built for publication:

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