Between functions and relations in calculating programs

QR Code

Between functions and relations in calculating programs

This thesis is about the calculational approach to programming, in which one derives programs from specifications. One such calculational paradigm is Ruby, the relational calculus developed by Jones and Sheeran for describing and designing circuits. We identify two shortcomings with derivations mad...

Full description

Bibliographic Details
Main Author:	Hutton, Graham
Format:	External Thesis
Language:	English
Published:	1992
Online Access:	https://eprints.nottingham.ac.uk/28200/

Similar Items

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

A Relational Derivation of a Functional Program
by: Hutton, Graham
Published: (1992)

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

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

Calculating correct compilers
by: Bahr, Patrick, et al.
Published: (2015)

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

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

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

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

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

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

Importance of dispersion in density functional calculations of cesium chloride and its related halides
by: Zhang, Feiwu, et al.
Published: (2013)

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

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

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

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)

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

Calculation of the Relative Chemical Stabilities of Proteins as a Function of Temperature and RedoxChemistry in a Hot Spring
by: Dick, Jeffrey, et al.
Published: (2011)

Density functional calculations on the intricacies of Moiré patterns on graphite
by: Campanera, J., et al.
Published: (2007)

New approach to calculate the denominator for the relative risk equation
by: Nor Azah Samat,, et al.
Published: (2016)

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

SIESTA: A Linear-Scaling Method for Density Functional Calculations
by: Gale, Julian
Published: (2011)

Calculation of the relative metastabilities of proteins using the CHNOSZ software package
by: Dick, Jeffrey
Published: (2008)

Calculation of the relative metastabilities of proteins in subcellular compartments of Saccharomyces cerevisiae
by: Dick, Jeffrey
Published: (2009)

Calculation of Air-Conditioning Cooling Load Using Database Programming
by: Sulaiman, S. A., et al.
Published: (2004)

A comparative study of density functional and density functional tight binding calculations of defects in graphene
by: Zobelli, A., et al.
Published: (2012)

Removed material volume calculations in CNC milling by exploiting CAD functionality
by: Benardos, Panorios, et al.
Published: (2017)

HMFcalc: An online tool for calculating dark matter halo mass functions
by: Murray, Steven, et al.
Published: (2013)

Some remarks on the calculation of the pore size distribution function of activated carbons
by: Gauden, P., et al.
Published: (2006)

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

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

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)

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

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

New mineral activity-composition relations for thermodynamic calculations in metapelitic systems
by: White, R., et al.
Published: (2014)

Theoretical calculations of excited states and fluorescence spectroscopy using density functional theory
by: Briggs, Edward A.
Published: (2016)

Calculated structures and energies of molecular crystals using dispersion corrected density functionals
by: Carter, Damien, et al.
Published: (2014)

Density functional calculation for electronic structure properties of graphene adsorbed with GaAs nanostructure
by: Abubakar, Shamsu
Published: (2014)

Calculating excited state properties using Kohn-Sham density functional theory
by: Hanson-Heine, Magnus W.D., et al.
Published: (2013)