Research Repository

See what's under the surface

A Relational Derivation of a Functional Program

Hutton, Graham

Authors

Graham Hutton

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.

Publication Date Jan 1, 1992
Peer Reviewed Not Peer Reviewed
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingh.../end_user_agreement.pdf

Files

ruby-intro.pdf (137 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf



Downloadable Citations