Title :
On Programming by Iterations
Author_Institution :
Institute of Informatics, Warsaw University, Warsaw, Poland; Department of Computing, Imperial College of Science and Technology, London, England.
fDate :
3/1/1984 12:00:00 AM
Abstract :
Iterative computations are considered in this paper as a general problem-solving technique. The loop invariant is derived from problem properties rather than from program properties (as is usual in programming literature). To this end, the notion of equisolution states-a special subset of space-state in which lie the iterated trajectories-is introduced.
Keywords :
Calculators; Computer aided instruction; Computer applications; Computer languages; Councils; Informatics; Joining processes; Problem-solving; Writing; Iterations; loop invariants; problem solving; program derivation;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1984.5010219
