A Heuristic for Deriving Loop Functions

DOI10.1109/TSE.1984.5010236zbMath0536.68003MaRDI QIDQ3321419

Douglas D. Dunlop, Victor R. Basili

Publication date: 1984

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

constraintsprogram verificationinitialized loop programs

Mathematics Subject Classification ID

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

Related Items (4)

A method for computing the number of iterations in data dependent loops ⋮ Mechanical inference of invariants for FOR-loops ⋮ Reflexive transitive invariant relations: A basis for computing loop functions ⋮ Mathematics for reasoning about loop functions

This page was built for publication: A Heuristic for Deriving Loop Functions