A Relational Derivation of a Functional Program

Hutton, Graham

Abstract

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 unsurprising, being the standard $quot;column of half-adders$quot;, but the derivation illustrates a number of points about working with relations rather than with functions.

Citation

Hutton, G. (1992). A Relational Derivation of a Functional Program.

• Conference Name: Proceedings of the STOP Summer School on Constructive Algorithmics
• Publication Date: Jan 1, 1992
• Deposit Date: Oct 26, 2005
• Publicly Available Date: Oct 9, 2007
• Peer Reviewed: Not Peer Reviewed
• Public URL: https://nottingham-repository.worktribe.com/output/1025029