An experiment in structured programming

DOI10.1007/BF01932672zbMath0234.68007OpenAlexW2055151562MaRDI QIDQ5643572

Robert A. Snowdon, Peter B. Henderson

Publication date: 1972

Published in: BIT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01932672

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (3)

Dijkstra graphs ⋮ The case for structured programming ⋮ Stable marriages by coroutines

Uses Software

• Find

Cites Work

• Proof of a program
• Unnamed Item

This page was built for publication: An experiment in structured programming