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 unsurprising, being the standard $quot;column of half...
| Main Author: | |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
1992
|
| Online Access: | https://eprints.nottingham.ac.uk/243/ |
| _version_ | 1848790377787555840 |
|---|---|
| author | Hutton, Graham |
| author_facet | Hutton, Graham |
| author_sort | Hutton, Graham |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-14T18:11:39Z |
| format | Conference or Workshop Item |
| id | nottingham-243 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T18:11:39Z |
| publishDate | 1992 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-2432020-05-04T20:33:50Z https://eprints.nottingham.ac.uk/243/ A Relational Derivation of a Functional Program Hutton, Graham 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. 1992 Conference or Workshop Item NonPeerReviewed Hutton, Graham (1992) A Relational Derivation of a Functional Program. In: Proceedings of the STOP Summer School on Constructive Algorithmics, September 1992, Ameland, The Netherlands. |
| spellingShingle | Hutton, Graham A Relational Derivation of a Functional Program |
| title | A Relational Derivation of a Functional Program |
| title_full | A Relational Derivation of a Functional Program |
| title_fullStr | A Relational Derivation of a Functional Program |
| title_full_unstemmed | A Relational Derivation of a Functional Program |
| title_short | A Relational Derivation of a Functional Program |
| title_sort | relational derivation of a functional program |
| url | https://eprints.nottingham.ac.uk/243/ |