Program development: From enumeration to backtracking

DOI10.1016/0020-0190(80)90138-6MaRDI QIDQ1144368zbMATH OpenOpenAlexFDO

Authors 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

enumerationbacktrackingcorrectnessprogram proofprogram developmentexhaustion

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3765107 (Why is no real title available?)
• scientific article; zbMATH DE number 3564309 (Why is no real title available?)
• scientific article; zbMATH DE number 3621102 (Why is no real title available?)
• scientific article; zbMATH DE number 3630179 (Why is no real title available?)
• scientific article; zbMATH DE number 3633670 (Why is no real title available?)
• On the Design and Development of Program Families

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1144368)