We introduce a class of program editors that present a program using a rich set of transformations; we call these kinds of editors composable presentation editors. Proper use of these kinds of editors appears to lead to more expressive programs-programs whose structure are aligned with the problem they are trying to solve. By default, the composable presentation editor presents program elements textually as concrete syntax and enables typical editor commands on the program. Metadata on program elements control how the transformations are applied. Customized metadata can re-order, pictorialize, collapse, duplicate, or expand the displayed form of program elements and can additionally alter the available editor commands. We have developed a set of presentation techniques to be used by presentation designers (i.e., the programmers who design how a program is presented in the editor. These techniques relate to well-understood programming language design, editor design, and programming best-practices techniques including scoping, higher order functions, refactoring, prettyprinting, naming conventions, syntax highlighting, and text hovers. We introduce two implementations of composable presentation editors and a number of examples showing how programs can be made more expressive when presentation techniques are properly used. The first implementation is the ETMOP, an open editor, where a metaobject protocol is provided that allows language and editor designers to customize the way program elements are displayed. These customizations are called presenta- tion extensions and the corresponding presentation extension protocol acts in a way similar to the way that syntax macros extend the syntax of a language. The second implementation is Embedded CAL, a closed editor that uses these presentation techniques to embed one language (CAL) inside a host language (Java) through the use of presentation techniques, without changing the syntax or compiler of either language.

The object-oriented community is paying increasing attention to techniques for object instance encapsulation and alias protection. Formal techniques for modular verification of programs at the level of objects are being developed hand in hand with type systems and static analysis techniques for restricting the structure of runtime object graphs. Ownership type systems have provided a sound basis for such structural restrictions by being able to statically represent an extensible object ownership hierarchy. However, such structural restrictions may potentially have limitations on cases when more flexible reference structures are desired. In this thesis, we present a different encapsulation technique, called Effect Encapsulation, which confines side effects rather than object references. With relaxed restriction on reference structure, it is able to express certain common object-oriented patterns which cannot be expressed in Ownership Types. From this basis, we also describe a model of Object Validity --- a framework for reasoning about object invariants. Such a framework can track the effect and dependency of method calls on object invariants within an ownership-based type system, even in the presence of re-entrant calls. Moreover, we present an access control technique for protecting object instances. Combined with context variance, the resulting type system allows for a more flexible and useful access control policy, hence is capable of expressing more object-oriented patterns.

Bibliography: leaves 173-179. / xi, 221 leaves : ill. ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / This thesis aims to develop a basic object-oriented data structure and tools for the modelling and simulation of chemical and biochemical processes. The numerical methods are based on the Newton and Gear's Backward Difference methods. / Thesis (Ph.D.)--University of Adelaide, Dept. of Chemical Engineering, 1997

Thesis (M.S.--Rochester Institute of Technology, 1990. / Includes bibliographical references.

Thesis (M.App.Sc.)--University of Adelaide, Dept. of Computer Science, 1998? / Bibliography: leaves 173-184.

Thesis (Ph.D.)--University of Adelaide, School of Computer Science, 2005. / "December 2004" Includes bibliographical references (leaves 183-203). Also available electronically as part of the Australian Digital Theses Program.

Thesis (Ph.D.)--University of Adelaide, School of Computer Science, 2005. / Title from screen page; viewed 30 Aug. 2005. "December 2004" Includes bibliographical references (leaves 183-203). Also available in print format.

Thesis (Ph.D.)--University of Wollongong, 2006. / Typescript. Includes bibliographical references: leaf 297-321.

Thesis (M.S.)--Rochester Institute of Technology, 1991. / Includes bibliographical references (p. 80-82).

Thesis (M.Sc.)--Victoria University of Wellington, 2008. / Includes bibliographical references.