Repetitions, known or unknown?

DOI10.1016/S0020-0190(05)80010-9zbMath0751.68035OpenAlexW1990287186MaRDI QIDQ1183432

Wim H. Hesselink

Publication date: 28 June 1992

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

Full work available at URL: https://doi.org/10.1016/s0020-0190(05)80010-9

zbMATH Keywords

refinementrepetitionsprogram correctnessprogram derivationproof rules

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Proof rules for recursive procedures

Cites Work

• Programs, Recursion and Unbounded Choice
• Unnamed Item
• Unnamed Item
• Unnamed Item