Research Repository

See what's under the surface


Between functions and relations in calculating programs (1992)
Thesis
Hutton, G. M. Between functions and relations in calculating programs. (Thesis). University of Glasgow. Retrieved from https://nottingham-repository.worktribe.com/output/1164861

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

A comparison of the DNA bending properties of the DNA binding proteins CRP and TFIID (1992)
Journal Article
Gaston, K., Bell, A., Busby, S., & Fried, M. (1992). A comparison of the DNA bending properties of the DNA binding proteins CRP and TFIID. Nucleic Acids Research, 20(13), 3391-3396. doi:10.1093/nar/20.13.3391

Protein-induced DNA bending is of importance in the formation of complex nucleoprotein assemblies such as those involved in the initiation of DNA replication or transcription initiation. We have compared the DNA bending characteristics of the Escheri... Read More

Higher-Order Functions for Parsing (1992)
Journal Article
Hutton, G. (1992). Higher-Order Functions for Parsing. Journal of Functional Programming, 2(3),

In combinator parsing, the text of parsers resembles BNF notation. We present the basic method, and a number of extensions. We address the special problems presented by white-space, and parsers with separate lexical and syntactic phases. In partic... Read More

A Relational Derivation of a Functional Program (1992)
Conference Proceeding
Hutton, G. (1992). 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 uns... Read More

Making Functionality More General (1992)
Conference Proceeding
Hutton, G., & Voermans, E. (1992). Making Functionality More General

The definition for the notion of a "function" is not cast in stone, but depends upon what we adopt as types in our language. With partial equivalence relations (pers) as types in a relational language, we show that the functional relations are preci... Read More

A Calculational Theory of Pers as Types (1992)
Book
Hutton, G., & Voermans, E. (1992). A Calculational Theory of Pers as Types. Department of Computing Science

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