Skip to main content

Research Repository

Advanced Search

All Outputs (5)

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

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.