Derivation of Invariant Assertions During Program Development by Transformation

DOI10.1145/357103.357108MaRDI QIDQ3922137zbMATH OpenOpenAlexFDO

Authors Manfred Broy, Bernd Krieg-Brückner

Publication date 1980

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/357103.357108

zbMATH Keywords

assertionscorrectnessinvariantsiterationprogram transformationsrecursionrecursion removalspecificationverification

Mathematics Subject Classification ID

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

Cited in

(3)

• Running programs backwards: The logical inversion of imperative computation
• SPECIFICATION AND COMPUTING STATES IN FUZZY ALGORITHMS
• Definite descriptions and Dijkstra's odd powers of odd integers problem

This page was built for publication: Derivation of Invariant Assertions During Program Development by Transformation

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