scientific article; zbMATH DE number 3823106

zbMATH Open0519.68020MaRDI QIDQ3668830FDOQ3668830

Udo W. Lipeck

Publication date: 1983

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

zbMATH Keywords

modulesalgebraic specificationimplementationssoftware designdesign languagesparametric abstract data types

Mathematics Subject Classification ID

Data structures (68P05) Theory of software (68N99)

Cited In (3)

• Structured algebraic specifications: A kernel language
• Compatibility of parameter passing and implementation of parameterized data types
• Toward formal development of programs from algebraic specifications: Implementations revisited

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 Q3668830)