Modularization of large programs

DOI10.1002/SPE.4380110508MaRDI QIDQ3920628zbMATH OpenOpenAlexFDO

Authors Peter B. Henderson, Roger B. Gimson

Publication date 1981

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

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

zbMATH Keywords

string processingprogram modificationmacroprocessor

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Cites work

• Abstract data types and the development of data structures
• Abstraction mechanisms in CLU

This page was built for publication: Modularization of large programs

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