Skip to main content

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-repo...ribe.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 about Between functions and relations in calculating programs.

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 about A comparison of the DNA bending properties of the DNA binding proteins CRP and TFIID.

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 about Higher-Order Functions for Parsing.

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 about Making Functionality More General.