Heuristics for constructing while loops

Fatma Mili, Ali Mili

Research output: Contribution to journalArticlepeer-review

4 Scopus citations

Abstract

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
Volume18
Issue number1
DOIs
StatePublished - Jan 1992
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software

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

Cite this