On the mathematics of sequential decompositions

Jules Desharnais; Ali Mili; Fatma Mili

doi:10.1016/0167-6423(93)90016-I

On the mathematics of sequential decompositions

Jules Desharnais, Ali Mili, Fatma Mili

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

Abstract

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.

Original language	English (US)
Pages (from-to)	253-289
Number of pages	37
Journal	Science of Computer Programming
Volume	20
Issue number	3
DOIs	https://doi.org/10.1016/0167-6423(93)90016-I
State	Published - Jun 1993
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(93)90016-I

Cite this

@article{8bb95201dc7d4205a3d0d9bb13b30a0a,

title = "On the mathematics of sequential decompositions",

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

author = "Jules Desharnais and Ali Mili and Fatma Mili",

year = "1993",

month = jun,

doi = "10.1016/0167-6423(93)90016-I",

language = "English (US)",

volume = "20",

pages = "253--289",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

number = "3",

}

TY - JOUR

T1 - On the mathematics of sequential decompositions

AU - Desharnais, Jules

AU - Mili, Ali

AU - Mili, Fatma

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 -

On the mathematics of sequential decompositions

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this