Synthesis and Structural Analysis of Abstract Programs

DOI10.1093/COMJNL/23.3.243MaRDI QIDQ3871897zbMATH OpenOpenAlexFDO

Authors D. F. Cowell, A. A. Kaposi, Duncan Fyfe Gillies

Publication date 1980

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/23.3.243

zbMATH Keywords

control structuresQuicksortrestructuringstructural analysis of abstract programssynthesis

Mathematics Subject Classification ID

Searching and sorting (68P10) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(2)

• On the detection of unstructuredness in flowgraphs
• A generalized mathematical theory of structured programming

This page was built for publication: Synthesis and Structural Analysis of Abstract Programs

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