A data-directed approach to program construction

DOI10.1002/SPE.4380100504MaRDI QIDQ3863047zbMATH OpenOpenAlexFDO

Authors J. Wesley Graham, James Welch, Donald D. Cowan, Carlos J. P. Lucena

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.4380100504

zbMATH Keywords

data typesprogram constructionprogram derivationprogram schemaprogram specification

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: A data-directed approach to program construction

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