• DocumentCode
    969984
  • Title

    On Programming by Iterations

  • Author

    Turski, W.M.

  • Author_Institution
    Institute of Informatics, Warsaw University, Warsaw, Poland; Department of Computing, Imperial College of Science and Technology, London, England.
  • Issue
    2
  • fYear
    1984
  • fDate
    3/1/1984 12:00:00 AM
  • Firstpage
    175
  • Lastpage
    178
  • 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;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/TSE.1984.5010219
  • Filename
    5010219
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=969984