scientific article; zbMATH DE number 108380

MaRDI QIDQ4023841zbMATH OpenFDO

Authors William J. Collins

Publication date 23 January 1993

zbMATH Keywords

abstract data typecorrectness proofs for algorithmsdata structuresimplementationsobject-orientationtime and space complexities of algorithms

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Data structures (68P05) Abstract data types; algebraic specification (68Q65)

Cited in

(5)

• scientific article; zbMATH DE number 42919 (Why is no real title available?)
• scientific article; zbMATH DE number 736668 (Why is no real title available?)
• scientific article; zbMATH DE number 1032084 (Why is no real title available?)
• scientific article; zbMATH DE number 814898 (Why is no real title available?)
• Certificates in Data Structures

Describes a project that uses

Uses Software

• Turbo Pascal

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