Skip to main content

Research Repository

See what's under the surface

A Relational Derivation of a Functional Program

Hutton, Graham

Authors



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
Institution Citation Hutton, G. (1992). A Relational Derivation of a Functional Program
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





You might also like



Downloadable Citations