Program development: From enumeration to backtracking

DOI10.1016/0020-0190(80)90138-6zbMath0443.68011OpenAlexW2060408210MaRDI QIDQ1144368

Manfred Broy, Martin Wirsing

Publication date: 1980

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(80)90138-6

zbMATH Keywords

correctnessenumerationbacktrackingprogram proofprogram developmentexhaustion

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Cites Work

• On the Design and Development of Program Families
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Program development: From enumeration to backtracking