Storage allocation algorithms in the tranquil compiler.

Issued also as thesis (M.S.) University of Illinois.

A PASCAL compiler /

Thesis (M. S.)--University of Illinois at Urbana-Champaign.

VIPTRAN2 : an improved programming language and its compiler for process control equations /

Mode of access: Internet.

Subroutines in the GLYPNIR compiler /

Thesis (M. S.)--University of Illinois at Urbana-Champaign.

The life and character of Edmund Geste, S. T. P. The principal compiler of the church of England ... the first protestant bishop of Rochester, afterwards bishop of Salisbury, by appointment of and almoner to Queen Elizabeth.

Appendix I: A treatise against the prevee masse in the behalfe and furtheraunce of the mooste holye communyon made by Edmund Geste. 1548: p. [69]-140.

John Rogers: the compiler of the first authorised English Bible; the pioneer of the English reformation; and its first martyr. Embracing a genealogical account of his family, biographical sketches of some of his principal descendants, his own writings, etc. etc.

Mode of access: Internet.

Absalom Wamsley Smith, his ancestry and his descendants : nine generations of the Smith family / Maud Bliss Allen, compiler.

Mode of access: Internet.

Modern Gulliver's travels. Lilliput: being a new journey to that celebrated island. Containing a faithful account of the manners, character, customs, religion, laws, politics, revenue, taxes, learning, general progress in arts and sciences, dress, amusements, and gallantry of those famous little people. From the year 1702, when they were first discovered and visited by Captain Lemuel Gulliver, the father of the compiler of this work, to the present aera 1796.

Cf. Teerink, H. A bibliography of the writings of Jonathan Swift. 2d ed. Philadelphia [1963], p. 250.

The Compiler.

Mode of access: Internet.

A treatise on the millennium, or, Latter-day glory of the church : compiled principally from the productions of late eminent writers upon that subject, to which is added, further remarks and notes by the compiler /

Cover title: The millennium.

The trial of Aaron Burr for high treason, in the Circuit Court of the United States for the district of Virginia, summer term, 1807 : comprising all the evidence and the opinions of the court upon all motions made in the various stages of the case, with abstracts of arguments of counsel : compiled from authentic reports made during the progess of the trial : to which is added an account of the subsequent proceedings against Burr, Blennerhassett, and Smith, in the same court, with notes by the compiler on the law of treason, as applicable to the existing rebellion : prefaced by a brief historical sketch of Burr's western expedition of 1806 /

Mode of access: Internet.

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.

The development of a new compiler-compiler front-end

The increasing cost of developing complex software systems has created a need for tools which aid software construction. One area in which significant progress has been made is with the so-called Compiler Writing Tools (CWTs); these aim at automated generation of various components of a compiler and hence at expediting the construction of complete programming language translators. A number of CWTs are already in quite general use, but investigation reveals significant drawbacks with current CWTs, such as lex and yacc. The effective use of a CWT typically requires a detailed technical understanding of its operation and involves tedious and error-prone input preparation. Moreover, CWTs such as lex and yacc address only a limited aspect of the compilation process; for example, actions necessary to perform lexical symbol valuation and abstract syntax tree construction must be explicitly coded by the user. This thesis presents a new CWT called CORGI (COmpiler-compiler from Reference Grammar Input) which deals with the entire `front-end' component of a compiler; this includes the provision of necessary data structures and routines to manipulate them, both generated from a single input specification. Compared with earlier CWTs, CORGI has a higher-level and hence more convenient user interface, operating on a specification derived directly from a `reference manual' grammar for the source language. Rather than developing a compiler-compiler from first principles, CORGI has been implemented by building a further shell around two existing compiler construction tools, namely lex and yacc. CORGI has been demonstrated to perform efficiently in realistic tests, both in terms of speed and the effectiveness of its user interface and error-recovery mechanisms.

The Subclassing Anomaly in Compiler Evolution

Subclassing in collections of related classes may require re-implementation of otherwise valid classes just because they utilize outdated parent classes, a phenomenon that is referred to as the subclassing anomaly. The subclassing anomaly is a serious problem since it can void the benefits of code reuse altogether. This paper offers an analysis of the subclassing anomaly in an evolving object-oriented compiler. The paper also outlines a solution for the subclassing anomaly that is based on alternative code reuse mechanism, named class overriding.

Integrating hardware and software information flow analyses

Security-critical communications devices must be evaluated to the highest possible standards before they can be deployed. This process includes tracing potential information flow through the device's electronic circuitry, for each of the device's operating modes. Increasingly, however, security functionality is being entrusted to embedded software running on microprocessors within such devices, so new strategies are needed for integrating information flow analyses of embedded program code with hardware analyses. Here we show how standard compiler principles can augment high-integrity security evaluations to allow seamless tracing of information flow through both the hardware and software of embedded systems. This is done by unifying input/output statements in embedded program execution paths with the hardware pins they access, and by associating significant software states with corresponding operating modes of the surrounding electronic circuitry.