Heuristics for constructing while loops

DOI10.1016/0167-6423(92)90034-9MaRDI QIDQ1190850zbMATH OpenOpenAlexFDO

Authors Fatma Mili, Ali Mili

Publication date 27 September 1992

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(92)90034-9

zbMATH Keywords

construction of programs from specificationsprogram construction by relational manipulationprogram correctnessstepwise construction of iterative programs from specifications

Mathematics Subject Classification ID

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

Recommendations

• Relational methods in the analysis of while loops: observations of versatility
• Formal models of stepwise refinements of programs
• On Programming by Iterations
• A generalized iterative construct and its semantics
• Synthetic programming

Cited in

(6)

• More on looping vs. repeating in dynamic logic
• A relational division operator: The conjugate kernel
• Computing Preconditions and Postconditions of While Loops
• Relational methods in the analysis of while loops: observations of versatility
• A generalized iterative construct and its semantics
• Embedding a demonic semilattice in a relation algebra

This page was built for publication: Heuristics for constructing while loops

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