Programming by successive refinement of data abstractions

DOI10.1002/SPE.4380100402MaRDI QIDQ3867154zbMATH OpenOpenAlexFDO

Authors James B. Morris

Publication date 1980

Published in Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/spe.4380100402

zbMATH Keywords

data abstractionhierarchical program developmentstructural programmingtype-checking

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05)

Cites work

• Abstraction mechanisms in CLU

Describes a project that uses

Uses Software

• Simula 67

This page was built for publication: Programming by successive refinement of data abstractions

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