Skip to main content

Research Repository

Advanced Search

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.

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 http://eprints.nottingham.ac.uk/id/eprint/243
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/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