A relational calculus for program construction by parts

M. Frappier, A. Mili, J. Desharnais

Research output: Contribution to journalArticlepeer-review

15 Scopus citations


Given a specification that includes a number of user requirements, we wish to focus on the requirements in turn, and derive a partly defined program for each; then combine all the partly defined programs into a single program that satisfies all the requirements simultaneously. In this paper we introduce a mathematical basis for solving this problem, and we illustrate it by means of a simple example.

Original languageEnglish (US)
Pages (from-to)237-254
Number of pages18
JournalScience of Computer Programming
Issue number1-3
StatePublished - May 1996
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software


Dive into the research topics of 'A relational calculus for program construction by parts'. Together they form a unique fingerprint.

Cite this