Journal Article

Re-engineering Loops

S. Pan and R. G. Dromey

in The Computer Journal

Published on behalf of British Computer Society

Volume 39, issue 3, pages 184-202
Published in print January 1996 | ISSN: 0010-4620
e-ISSN: 1460-2067 | DOI:
Re-engineering Loops

Show Summary Details


Loops with multiple-exits and flags detract from the quality of imperative programs. They tend to make control-structures difficult to understand and, at the same time, introduce the risk of non-termination and other correctness problems. A systematic, generally applicable procedure, called loop rationalization, which removes such features and logically simplifies loop structures is presented. This method, which is founded on the principle of separation of concerns, employs strongest postcondition calculations and congruent equivalence transformations to improve loops. A by-product of the process is that it detects a range of defects such as unreachable code and a class of non-termination problems.

Journal Article.  0 words. 

Subjects: Computer Science

Full text: subscription required

How to subscribe Recommend to my Librarian

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.