An experiment on program development

DOI10.1007/BF01932307zbMath0249.68013OpenAlexW2020614999MaRDI QIDQ5663362

Peter Naur

Publication date: 1972

Published in: BIT (Search for Journal in Brave)

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items (3)

Datalogy - the Copenhagen tradition of computer science ⋮ Fundamental solutions of the eight queens problem ⋮ Linear congruence equations for the solutions of the \(N\)-queens problem

Cites Work

• Programming by action clusters
• Program development by stepwise refinement

This page was built for publication: An experiment on program development