scientific article; zbMATH DE number 108387

MaRDI QIDQ4023846zbMATH OpenFDO

Authors

Publication date 23 January 1993

zbMATH Keywords

abstract data typesModula-2Object-oriented software designsoftware development

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 47959
• A systematic study of models of abstract data types
• Abstractions of data types
• Abstract data type systems
• On the implementation of abstract data types by programming language constructs
• scientific article; zbMATH DE number 3898212
• Abstract Data Types and Type Theory: Theories as Types
• scientific article; zbMATH DE number 578251

Cited in

(4)

• The formal specification of abstract data types and their implementation in Fortran 90: Implementation issues concerning the use of pointers
• Object-oriented modeling with ADORA
• scientific article; zbMATH DE number 1708016 (Why is no real title available?)
• scientific article; zbMATH DE number 3888904 (Why is no real title available?)

Describes a project that uses

Uses Software

• Modula

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