TY - JOUR
T1 - Heuristics for constructing while loops
AU - Mili, Fatma
AU - Mili, Ali
N1 - Copyright:
Copyright 2014 Elsevier B.V., All rights reserved.
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 -