William Maddox - Academia.edu (original) (raw)

Uploads

Papers by William Maddox

Research paper thumbnail of A document architecture for integrated software development

Research paper thumbnail of WHOPR-Fast and Scalable Whole Program Optimizations in GCC Initial Draft 12-Dec-2007

This document describes some initial design ideas on a whole program optimizer infrastructure for... more This document describes some initial design ideas on a whole program optimizer infrastructure for GCC. None of the ideas discussed here should be considered set in stone. This is only a draft to be used for discussion purposes. We expect many details to change over time, but the basic structure should be flexible enough to accommodate an efficient implementation.

Research paper thumbnail of Semantically-Sensitive Macroprocessing

Research paper thumbnail of Modules as Objects in Newspeak

ECOOP 2010 – Object-Oriented Programming, 2010

We describe support for modularity in Newspeak, a programming language descended from Smalltalk [... more We describe support for modularity in Newspeak, a programming language descended from Smalltalk [33] and Self [69]. Like Self, all computation-even an object's own access to its internal structureis performed by invoking methods on objects. However, like Smalltalk, Newspeak is class-based. Classes can be nested arbitrarily, as in Beta [44]. Since all names denote method invocations, all classes are virtual; in particular, superclasses are virtual, so all classes act as mixins. Unlike its predecessors, there is no static state in Newspeak, nor is there a global namespace. Modularity in Newspeak is based exclusively on class nesting. There are no separate modularity constructs such as packages. Top level classes act as module definitions, which are independent, immutable, self-contained parametric namespaces. They can be instantiated into modules which may be stateful and mutually recursive.

Research paper thumbnail of The Ada+ front end and coder generator

ACM SIGAda Ada Letters, 1985

Research paper thumbnail of Incremental Static Semantic Analysis

Research paper thumbnail of Semantically-Sensitive Macroprocessing

Research paper thumbnail of A document architecture for integrated software development

Research paper thumbnail of WHOPR-Fast and Scalable Whole Program Optimizations in GCC Initial Draft 12-Dec-2007

This document describes some initial design ideas on a whole program optimizer infrastructure for... more This document describes some initial design ideas on a whole program optimizer infrastructure for GCC. None of the ideas discussed here should be considered set in stone. This is only a draft to be used for discussion purposes. We expect many details to change over time, but the basic structure should be flexible enough to accommodate an efficient implementation.

Research paper thumbnail of Semantically-Sensitive Macroprocessing

Research paper thumbnail of Modules as Objects in Newspeak

ECOOP 2010 – Object-Oriented Programming, 2010

We describe support for modularity in Newspeak, a programming language descended from Smalltalk [... more We describe support for modularity in Newspeak, a programming language descended from Smalltalk [33] and Self [69]. Like Self, all computation-even an object's own access to its internal structureis performed by invoking methods on objects. However, like Smalltalk, Newspeak is class-based. Classes can be nested arbitrarily, as in Beta [44]. Since all names denote method invocations, all classes are virtual; in particular, superclasses are virtual, so all classes act as mixins. Unlike its predecessors, there is no static state in Newspeak, nor is there a global namespace. Modularity in Newspeak is based exclusively on class nesting. There are no separate modularity constructs such as packages. Top level classes act as module definitions, which are independent, immutable, self-contained parametric namespaces. They can be instantiated into modules which may be stateful and mutually recursive.

Research paper thumbnail of The Ada+ front end and coder generator

ACM SIGAda Ada Letters, 1985

Research paper thumbnail of Incremental Static Semantic Analysis

Research paper thumbnail of Semantically-Sensitive Macroprocessing

Log In