A Calculational Theory of Pers as Types

QR Code

A Calculational Theory of Pers as Types

In the calculational approach to programming, programs are derived from specifications by algebraic reasoning. This report presents a calculational programming framework based upon the notion of binary relations as programs, and partial equivalence relations (pers) as types. Working with relations...

Full description

Bibliographic Details
Main Authors:	Hutton, Graham, Voermans, Ed
Format:	Monograph
Published:	Department of Computing Science 1992
Online Access:	https://eprints.nottingham.ac.uk/241/

Similar Items

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

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

Between functions and relations in calculating programs
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)

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

Comparison of measured and calculated 40K activitiy per gram of K
by: Supian Bin Samat,, et al.
Published: (1997)

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

Type theory in a type theory with quotient inductive types
by: Kaposi, Ambrus
Published: (2017)

Theory of Ion-Atom Collisions for Stopping Power Calculations
by: Bailey, Jackson
Published: (2018)

On the theory of metal nanoparticles based on quantum mechanical calculation.
by: Saion, Elias, et al.
Published: (2011)

Normalisation by evaluation for type theory, in type theory
by: Altenkirch, Thorsten, et al.
Published: (2017)

Type theory in type theory using quotient inductive types
by: Altenkirch, Thorsten, et al.
Published: (2016)

Analysis of graphic calculator strategy using cognitive load theory
by: Mohd Tajudin, Nor'ain, et al.
Published: (2007)

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

Quotient types in type theory
by: Li, Nuo
Published: (2015)

FeynMG: Automating particle physics calculations in scalar-tensor theories
by: Sevillano Munoz, Sergio
Published: (2023)

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)

Density Functional Theory Calculations of Magnesium Hydride: A Comparison of Bulk and Nanoparticle Thermodynamics
by: Buckley, A., et al.
Published: (2012)

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

Calculation of images of oriented C_60 molecules using molecular orbital theory
by: Hands, Ian D., et al.
Published: (2010)

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

Activation of peroxymonosulfate by carbonaceous oxygen groups: Experimental and density functional theory calculations
by: Wang, Y., et al.
Published: (2016)

First Principles Density Functional Theory Calculations On Zinc Oxide Growth Mechanism
by: Mohamad, Ahmad Azmin, et al.
Published: (2015)

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

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

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

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

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

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

Non-perturbative calculation of molecular magnetic properties within current-density functional theory
by: Tellgren, Erik I., et al.
Published: (2014)

Assessment of basis sets for density functional theory based calculations of core electron spectroscopies
by: Fouda, Adam E.A., et al.
Published: (2017)

Quantum mechanical calculation of the optical absorption of silver and gold nanoparticles by density functional theory
by: Gharibshahi, Elham, et al.
Published: (2010)

System Usability Scale Formula as Alternative for Calculating Composite Score of Likert-type Items
by: Stephen, Donald, et al.
Published: (2015)

Pers Indonesia sebagai Pers Pancasila
by: H. Anwar Arifin,
Published: (1987)

CO and NO desorption from N-bounded carbonaceous surface complexes: density functional theory calculations
by: Wang, Shaobin
Published: (2010)

Energy calculations
by: Musse, Mohamud Ahmed, et al.
Published: (2011)

Maximum torque-per-Amp control for traction IM drives: theory and experimental results
by: Bozhko, Serhiy, et al.
Published: (2017)