A note concerning top down program development and restricted exit control structures
From MaRDI portal
Publication:598794
DOI10.1016/0020-0190(79)90099-1zbMath0413.68007OpenAlexW2041094008MaRDI QIDQ598794
Peter B. Henderson, John C. Cherniavsky, John Keohane
Publication date: 1979
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(79)90099-1
Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Cites Work
This page was built for publication: A note concerning top down program development and restricted exit control structures