The clean termination of iterative programs

DOI10.1007/BF00261259zbMath0469.68022OpenAlexW1964300195MaRDI QIDQ1157152

Andrzej Blikle

Publication date: 1981

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00261259

zbMATH Keywords

structured programsdeterministic iterative programsnondeterministic iterative programsprogram-correctness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus ⋮ Predicate transformers as power operations

This page was built for publication: The clean termination of iterative programs