Static analysis is significant since it provides the information about the run- time behaviour of an analysed program. Such information has many applications in compiler optimisations and software engineering tools. Interprocedural anal- ysis is a form of static analysis, which can exploit information available across procedure boundaries. The analysis is traditionally designed as whole-program analysis, which processes the entire program. However, whole-program analysis is problematic when parts of the analysed program are not available to partici- pate in analysis. In this case, a whole-program analysis has to make conservative assumptions to be able to produce safe analysis results at the expense of some possible precision loss. To improve analysis precision, an analysis can exploit the access control mechanism provided by the underlying program language. This thesis introduces a points-to analysis technique for incomplete object-oriented programs, called com- pleteness analysis, which exploits the access and modification properties of classes, methods and fields to enhance the analysis precision. Two variations of the tech- nique, compositional and sequential completeness analysis, are described. This thesis also presents a mutability analysis (MA) and MA-based side-effect analy- sis, which are based on the output of completeness analysis, to determine whether a variable is potentially modified by the execution of a program statement. The results of experiments carried out on a set of Java library packages are presented to demonstrate the improvement in analysis precision.

No description available.

Bibliography: p. 143-150. / vii, 150 p. : ill. ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / Develops a model of orthogonal persistence for object-oriented languages. A type-safe model based on the Napier88 Language Environment is proposed and as example, a possible design for a persistent version of C++ is explored. The model uses a persistent object store to support orthogonal persistence in the language. To accomodate the needs of distribution, also develops an extended model of distributed stores suitable for wide-area networks. / Thesis (Ph.D.)--University of Adelaide, Dept. of Computer Science, 1999

Bibliography: p. 143-150. / vii, 150 p. : ill. ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / Develops a model of orthogonal persistence for object-oriented languages. A type-safe model based on the Napier88 Language Environment is proposed and as example, a possible design for a persistent version of C++ is explored. The model uses a persistent object store to support orthogonal persistence in the language. To accomodate the needs of distribution, also develops an extended model of distributed stores suitable for wide-area networks. / Thesis (Ph.D.)--University of Adelaide, Dept. of Computer Science, 1999

Thesis (Ph.D.) -- University of Adelaide, Dept. of Computer Science, 1999. / Bibliography: p. 143-150.

Univ., Diss.--Passau, 1991.

Thesis (M.S.)--Kutztown University of Pennsylvania, 1990. / Source: Masters Abstracts International, Volume: 45-06, page: 3182. Typescript. Includes bibliographical references (leaves 69-71).

Thesis (Ph. D.)--University of Washington, 1997. / Vita. Includes bibliographical references (p. [188]-196).

Thesis (Ph. D.)--University of Washington, 1998. / Vita. Includes bibliographical references (p. [125]-133).

Thesis (Ph.D.(Computer Science))--University of Pretoria, 2001. / Summaries in Afrikaans and English. Includes bibliographical references.