Program composition and composition programming

MaRDI QIDQ1132545zbMATH OpenFDO

Authors V. N. Red'ko

Publication date 1978

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

program compositioncomposition programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(1)

• Composition structure of programmology

This page was built for publication: Program composition and composition programming

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