The entomological code. A code of nomenclature for use in entomology.

Preface signed by the compilers: Nathan Banks, A. N. Caudell.

Directory of Illinois fruit and vegetable roadside markets.

Mode of access: Internet.

Union hymns; adapted to social meetings and family worship.

Words only.

The Cold water melodies, and Washingtonian songster.

Preface signed: The compilers.

A complete collection of the treaties and conventions, and reciprocal regulations at present subsisting between Great Britain and foreign powers ... so far as they relate to commerce and navigation; and to the repression and abolition of the slave trade; and to the privileges and interests of the subjects of the high contracting parties.

List of compilers. Vol.1-11, Lewis Hertslet. Vol.12-16, Edward Hertslet. Vol.17-19, Edward Hertslet and Cecil Hertslet. Vol.20, Augustus H.Oakes and F.H.T. Streatfield. Vol.21-23, Augustus H. Oakes and Richard W.Brant. Vol.24-25, Richard W.Brant and G.E.P. Hertslet. Vol.26, G.E.P. Hertslet and Edward Parkes. Vol.27, Edward Parkes and W.L. Berrow. Vol.28, C.S. Nicoll and W.L. Berrow and J.W. Field. Vol.29-30, C.S. Nicoll and W.L. Berrow.

American exporter's export trade directory.

Compilers: 190 Editoral staff of the American reporter.--1912- B.O. Hough.

Code of Commercial nomenclature.

Also issued under Spanish and Portuguese titles.

Che-le-co-the, glimpses of yesterday; a souvenir of the hundredth anniversary of the founding of Chillicothe, Ohio, April 1896.

Preface signed: L.W. Renick, M.D. Fullerton and M.P. Nipgen [compilers]

Nashville city and business directory ...

Compilers and publishers: [1853]-1859, J.P. Campbell.--18 L.P.Williams & co.

Catalogue of the Jones collection /

"This ... collection ... was formed by Mr. John Jones ... and passed to the Nation upon his death in 1882."--Preface signed: Cecil H. Smith.

Children's books.

Compilers: 1964-1980, V. Haviland (with L. B. Watt, 1964-<1974>)

The American Aberdeen-Angus herd-book, containing a record of Aberdeen-Angus cattle approved and admitted for registry under the by-laws of the American Aberdeen-Angus Breeders' Association.

Compilers: 1892-1907, T. McFarlane; 1908- Ch. Gray.

Supplement to the 25th, 35th, 45th, 55th, 65th, 75th annual report of the registrar-general of births, deaths and marriages in England ... 1862, 1872, 1882, 1892, 1902, 1912, [Mortality in England and Wales during the period of ten years 1851-60, 1861-60, 1871-80, 1881-90]

Compilers: William Farr, 1862, 1872.--William Ogle, 1882.--John Tatham, 1892.

A partial-correctness semantics for modelling assembler programs

Previous work on formally modelling and analysing program compilation has shown the need for a simple and expressive semantics for assembler level programs. Assembler programs contain unstructured jumps and previous formalisms have modelled these by using continuations, or by embedding the program in an explicit emulator. We propose a simpler approach, which uses techniques from compiler theory in a formal setting. This approach is based on an interpretation of programs as collections of program paths, each of which has a weakest liberal precondition semantics. We then demonstrate, by example, how we can use this formalism to justify the compilation of block-structured high-level language programs into assembler.

An improved tool for automated compiler construction

Since the advent of High Level Programming languages (HLPLs) in the early 1950s researchers have sought ways to automate the construction of HLPL compilers. To this end a variety of Translator Writing Tools (TWTs) have been developed in the last three decades. However, only a very few of these tools have gained significant commercial acceptance. This thesis re-examines traditional compiler construction techniques, along with a number of previous TWTs, and proposes a new improved tool for automated compiler construction called the Aston Compiler Constructor (ACC). This new tool allows the specification of complete compilation systems using a high level compiler oriented specification notation called the Compiler Construction Language (CCL). This specification notation is based on a modern variant of Backus Naur Form (BNF) and an extended variant of Attribute Grammars (AGs). The implementation and processing of the CCL is discussed along with an extensive CCL example. The CCL is shown to have an extensive expressive power, to be convenient in use, and highly readable, and thus a superior alternative to earlier TWTs, and to traditional compiler construction techniques. The execution performance of CCL specifications is evaluated and shown to be acceptable. A number of related areas are also addressed, including tools for the rapid construction of individual compiler components, and tools for the construction of compilation systems for multiprocessor operating systems and hardware. This latter area is expected to become of particular interest in future years due to the anticipated increased use of multiprocessor architectures.