All Outputs (2000)

Separate compilation of structured documents (1993)
Journal Article
Groves, M. J., & Brailsford, D. F. (1993). Separate compilation of structured documents

This paper draws a parallel between document preparation and the traditional processes of compilation and link editing for computer programs. A block-based document model is described which allows for separate compilation of various portions of a doc... Read More about Separate compilation of structured documents.

Journal publishing with Acrobat: the CAJUN project (1993)
Journal Article
Smith, P. N., Brailsford, D. F., Evans, D. R., Harrison, L., Probets, S. G., & Sutton, P. E. (1993). Journal publishing with Acrobat: the CAJUN project

The publication of material in electronic form should ideally preserve, in a unified document representation, all of the richness of the printed document while maintaining enough of its underlying structure to enable searching and other forms of se... Read More about Journal publishing with Acrobat: the CAJUN project.

The Ruby Interpreter (1993)
Book
Hutton, G. (1993). The Ruby Interpreter. Department of Computing Science

Ruby is a relational calculus for designing digital circuits. This document is a guide to the Ruby interpreter, which allows a special class of $quot;implementable$quot; Ruby programs to be executed. The Ruby interpreter is written in the functional... Read More about The Ruby Interpreter.

Adobe's Acrobat -- the Electronic Journal Catalyst? (1993)
Presentation / Conference Contribution
Brailsford, D. F. (1993). Adobe's Acrobat -- the Electronic Journal Catalyst?.

Adobe's Acrobat software, released in June 1993, is based around a new Portable Document Format (PDF) which offers the possibility of being able to view and exchange electronic documents, independent of the originating software, across a wide variety... Read More about Adobe's Acrobat -- the Electronic Journal Catalyst?.

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.

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 about A Calculational Theory of Pers as Types.

A Relational Derivation of a Functional Program (1992)
Presentation / Conference Contribution
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 about A Relational Derivation of a Functional Program.

Making Functionality More General (1992)
Presentation / Conference Contribution
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.

Functional Programming With Relations (1991)
Presentation / Conference Contribution
Hutton, G. (1991). Functional Programming With Relations.

While programming in a relational framework has much to offer over the functional style in terms of expressiveness, computing with relations is less efficient, and more semantically troublesome. In this paper we propose a novel blend of the function... Read More about Functional Programming With Relations.

`Electronic Publishing' -- Practice and Experience (1990)
Presentation / Conference Contribution
Brailsford, D. F., Evans, D. R., & Granger, G. (1990). `Electronic Publishing' -- Practice and Experience. In R. Furuta (Ed.),

Electronic Publishing -- Origination, Dissemination and Design (EP-odd) is an academic journal which publishes refereed papers in the subject area of electronic publishing. The authors of the present paper are, respectively, editor-in-chief, system s... Read More about `Electronic Publishing' -- Practice and Experience.

Electronic Publishing -- a Journal and its Production (1989)
Journal Article
Brailsford, D. F., & Beach, R. (1989). Electronic Publishing -- a Journal and its Production

The use of the term "Electronic Publishing" transcends any notions of the paperless office and of a purely electronic transfer and dissemination of information over networks. It now encompasses all computer-assisted methods for the production of d... Read More about Electronic Publishing -- a Journal and its Production.

On the noise immunity and legibility of Lucida fonts (1989)
Presentation / Conference Contribution
Bowden, P. R., & Brailsford, D. F. (1989). On the noise immunity and legibility of Lucida fonts.

Modern digital typography often has to contend with output devices such as workstation screens and laser-printers which have a much lower resolution than metal type or phototypesetter machines. In this paper we present results of some legibility inve... Read More about On the noise immunity and legibility of Lucida fonts.

The MUSE Machine -- an Architecture for Structured Data Flow Computation (1985)
Journal Article
Brailsford, D. F., & Duckworth, R. J. (1985). The MUSE Machine -- an Architecture for Structured Data Flow Computation. New Generation Computing, 3(2),

Computers employing some degree of data flow organisation are now well established as providing a possible vehicle for concurrent computation. Although data-driven computation frees the architecture from the constraints of the single program counter,... Read More about The MUSE Machine -- an Architecture for Structured Data Flow Computation.

In-house Preparation of Examination Papers using troff, tbl, and eqn. (1984)
Presentation / Conference Contribution
Brailsford, D. F. (1984). In-house Preparation of Examination Papers using troff, tbl, and eqn. In J. J. H. Miller (Ed.),

Starting in December 1982 the University of Nottingham decided to phototypeset almost all of its examination papers `in house' using the troff, tbl and eqn programs running under UNIX. This tutorial lecture highlights the features of the three progra... Read More about In-house Preparation of Examination Papers using troff, tbl, and eqn..

Run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP (1977)
Presentation / Conference Contribution
Brailsford, D. F., Foxley, E., Mander, K. C., & Morgan, D. J. (1977). Run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP.

Information concerning the run-time behaviour of programs ("program profiling") can be of the greatest assistance in improving program efficiency. Two software devices have been developed for use on
ICL 1900 Series machines to provide such informati... Read More about Run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP.

Algol 68 Dialect Conversion -- a Syntactic Approach (1976)
Presentation / Conference Contribution
Brailsford, D. F., & Knott, R. D. (1976). Algol 68 Dialect Conversion -- a Syntactic Approach. In V. Rayward-Smith (Ed.),

A syntax directed package for converting Revised Algol 68 programs into Algol 68-R form, (where possible) is being developed at Nottingham. The package makes use of J.M. Foster's Syntax Improving Device (SID) [1]. The experience gained has underlined... Read More about Algol 68 Dialect Conversion -- a Syntactic Approach.

Floating s- and p-type Gaussian Orbitals (1975)
Journal Article
Brailsford, D. F., Hall, G. G., Hemming, N., & Martin, D. (1975). Floating s- and p-type Gaussian Orbitals. Chemical Physics Letters, 35(4),

The advantages of including a small number of p-type gaussian functions in a floating spherical gaussian orbital calculation are pointed out and illustrated by calculations on molecules which previously have proved to be troublesome. These include mo... Read More about Floating s- and p-type Gaussian Orbitals.

Approximate ab initio calculations and the method of molecular fragments (1975)
Presentation / Conference Contribution
Brailsford, D. F. (1975). Approximate ab initio calculations and the method of molecular fragments. In V. R. Saunders, & J. Brown (Eds.),

A two stage approach to performing ab initio calculations on medium and large sized molecules is described. The first step is to perform SCF calculations on small molecules or molecular fragments using the OPIT Program. This employs a small basis set... Read More about Approximate ab initio calculations and the method of molecular fragments.

Fast assembly of fock matrices utilising symmetry properties of the basis set (1973)
Journal Article
Brailsford, D. F., & Hylton, J. (1973). Fast assembly of fock matrices utilising symmetry properties of the basis set. Chemical Physics Letters, 18(4),

A method of assembling the elements of the Fock matrix is described which is a modification of that due to Dacre. Lists of symmetry equivalent one-electron integrals are used as pointers to abbreviate the process of collecting two-electron integrals... Read More about Fast assembly of fock matrices utilising symmetry properties of the basis set.

The OPIT system part I. (1973)
Journal Article
Packer, J. C., & Brailsford, D. F. (1973). The OPIT system part I. Computer Physics Communications, 5,

The OPIT program is briefly described. OPIT is a basis-set-optimising, self-consistent field, molecular orbital program for calculating properties of closed-shell ground states of atoms and molecules. A file handling technique is then put forward whi... Read More about The OPIT system part I..