A Relational Derivation of a Functional Program
(1992)
Conference Proceeding
Hutton, G. (1992). A Relational Derivation of a Functional Program.
This article is an introduction to the use of relational calculi in deriving programs. Using the relational caluclus Ruby, we derive a functional program that adds one bit to a binary number to give a new binary number. The resulting program is uns... Read More about A Relational Derivation of a Functional Program.