A Relational Derivation of a Functional Program

QR Code

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...

Full description

Bibliographic Details
Main Author:	Hutton, Graham
Format:	Conference or Workshop Item
Published:	1992
Online Access:	https://eprints.nottingham.ac.uk/243/

Similar Items

Functional Programming With Relations
by: Hutton, Graham
Published: (1991)

Between functions and relations in calculating programs
by: Hutton, Graham
Published: (1992)

Back to Basics: Deriving Representation Changers Functionally
by: Hutton, Graham, et al.
Published: (1996)

Higher-Order Functions for Parsing
by: Hutton, Graham
Published: (1992)

Fold and Unfold for Program Semantics
by: Hutton, Graham
Published: (1998)

A tool for relational programmers
by: Hutton, Graham, et al.
Published: (1994)

Programs for cheap!
by: Hackett, Jennifer, et al.
Published: (2015)

When is a function a fold or an unfold?
by: Gibbons, Jeremy, et al.
Published: (2001)

Making Functionality More General
by: Hutton, Graham, et al.
Published: (1992)

Proof Methods for Corecursive Programs
by: Hutton, Graham, et al.
Published: (2005)

Proof methods for structured corecursive programs
by: Gibbons, Jeremy, et al.
Published: (1999)

The under-performing unfold: a new approach to optimising corecursive programs
by: Hackett, Jennifer, et al.
Published: (2013)

AutoBench: comparing the time performance of Haskell programs
by: Handley, Martin A.T., et al.
Published: (2018)

Contractive functions on infinite data structures
by: Capretta, Venanzio, et al.
Published: (2017)

A Tutorial on the Universality and Expressiveness of Fold
by: Hutton, Graham
Published: (1999)

Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
by: Hutton, Graham
Published: (1994)

Towards a theory of reach
by: Fowler, Jonathan, et al.
Published: (2016)

A Calculational Theory of Pers as Types
by: Hutton, Graham, et al.
Published: (1992)

Compiling a 50-year journey
by: Hutton, Graham, et al.
Published: (2017)

The Countdown Problem
by: Hutton, Graham
Published: (2002)

The Ruby Interpreter
by: Hutton, Graham
Published: (1993)

Report on BCTCS 2005
by: Hutton, Graham
Published: (2005)

A functional quantum programming language
by: Grattage, Jonathan James
Published: (2006)

The use of pyridine derivatives as accelerators in the solvent extraction of nickel from a nitrate matrix by LIX®63/Versatic™10
by: Hutton-Ashkenny, M., et al.
Published: (2015)

Value distribution of meromorphic functions and their derivatives
by: Nicks, Daniel A.
Published: (2010)

Derivatives of meromorphic functions of finite order
by: Langley, James
Published: (2014)

Estimate on the second Hankel functional for functions whose derivative has a positive real part
by: Aini Janteng,, et al.
Published: (2008)

Worker/wrapper/makes it/faster
by: Hackett, Jennifer, et al.
Published: (2014)

Work it, wrap it, fix it, fold it
by: Sculthorpe, Neil, et al.
Published: (2014)

Towards modular compilers for effects
by: Day, Laurence, et al.
Published: (2012)

Compiling concurrency correctly: cutting out the middle man
by: Hu, Liyang, et al.
Published: (2010)

Compact fusion
by: Hope, Catherine, et al.
Published: (2006)

Calculating an exceptional machine
by: Hutton, Graham, et al.
Published: (2006)

Bananas in space: extending fold and unfold to exponential types
by: Meijer, Erik, et al.
Published: (1995)

The Generic Approximation Lemma
by: Hutton, Graham, et al.
Published: (2001)

Compiling Exceptions Correctly
by: Hutton, Graham, et al.
Published: (2004)

Categories, Allegories, and Circuit Design
by: Brown, Carolyn, et al.
Published: (1994)

Calculating an Exceptional Machine
by: Hutton, Graham, et al.
Published: (2005)

Monadic parser combinators
by: Hutton, Graham, et al.
Published: (1996)

Accurate Step Counting
by: Hope, Catherine, et al.
Published: (2005)