Modularization of large programs

DOI10.1002/SPE.4380110508zbMath0467.68025OpenAlexW1990315954MaRDI QIDQ3920628

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