Heuristics for constructing while loops

Fatma Mili; Ali Mili

doi:10.1016/0167-6423(92)90034-9

Heuristics for constructing while loops

Fatma Mili, Ali Mili

Research output: Contribution to journal › Article › peer-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 language	English (US)
Pages (from-to)	67-106
Number of pages	40
Journal	Science of Computer Programming
Volume	18
Issue number	1
DOIs	https://doi.org/10.1016/0167-6423(92)90034-9
State	Published - Jan 1992
Externally published	Yes

All Science Journal Classification (ASJC) codes

Software
Information Systems
Computational Theory and Mathematics
Modeling and Simulation

Access to Document

10.1016/0167-6423(92)90034-9

Cite this

@article{ff970af39837451f9ec3b3c014413827,

title = "Heuristics for constructing while loops",

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.",

author = "Fatma Mili and Ali Mili",

year = "1992",

month = jan,

doi = "10.1016/0167-6423(92)90034-9",

language = "English (US)",

volume = "18",

pages = "67--106",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - Heuristics for constructing while loops

AU - Mili, Fatma

AU - Mili, Ali

PY - 1992/1

Y1 - 1992/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0026757750&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0026757750&partnerID=8YFLogxK

U2 - 10.1016/0167-6423(92)90034-9

DO - 10.1016/0167-6423(92)90034-9

M3 - Article

AN - SCOPUS:0026757750

SN - 0167-6423

VL - 18

SP - 67

EP - 106

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 1

ER -

Heuristics for constructing while loops

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this