Heuristics for constructing while loops

Fatma Mili, Ali Mili

Research output: Contribution to journalArticlepeer-review

4 Scopus citations


We discuss the stepwise construction of iterative programs from specifications, represented by relations. We make an effort to isolate, in the construction of an iterative program, those decisions that are dictated by correctness preservation concerns, from decisions that the programmer is free to make at will.

Original languageEnglish (US)
Pages (from-to)67-106
Number of pages40
JournalScience of Computer Programming
Issue number1
StatePublished - Jan 1992
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Computational Theory and Mathematics
  • Modeling and Simulation


Dive into the research topics of 'Heuristics for constructing while loops'. Together they form a unique fingerprint.

Cite this