TY - JOUR
T1 - On the mathematics of sequential decompositions
AU - Desharnais, Jules
AU - Mili, Ali
AU - Mili, Fatma
N1 - Copyright:
Copyright 2014 Elsevier B.V., All rights reserved.
PY - 1993/6
Y1 - 1993/6
N2 - We view the process of constructing a program as the stepwise transformation of a relation into simpler relations. In this paper, we focus on a particular transformation: that which decomposes the specification of an iterative program into the specification of the initialization segment and the specification of the while loop. We investigate in some detail the mathematics of this decomposition.
AB - We view the process of constructing a program as the stepwise transformation of a relation into simpler relations. In this paper, we focus on a particular transformation: that which decomposes the specification of an iterative program into the specification of the initialization segment and the specification of the while loop. We investigate in some detail the mathematics of this decomposition.
UR - http://www.scopus.com/inward/record.url?scp=0027607582&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0027607582&partnerID=8YFLogxK
U2 - 10.1016/0167-6423(93)90016-I
DO - 10.1016/0167-6423(93)90016-I
M3 - Article
AN - SCOPUS:0027607582
SN - 0167-6423
VL - 20
SP - 253
EP - 289
JO - Science of Computer Programming
JF - Science of Computer Programming
IS - 3
ER -