Synthesis and Structural Analysis of Abstract Programs

DOI10.1093/comjnl/23.3.243zbMath0433.68016OpenAlexW2103301877MaRDI QIDQ3871897

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

synthesiscontrol structuresQuicksortrestructuringstructural analysis of abstract programs

Mathematics Subject Classification ID

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

Related Items (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