Pakcage Types, Thesis available for ftp

Pakcage Types, Thesis available for ftp

[Mats Weber]

My thesis, part of which is a proposal for object-oriented extensions to
Ada 83 based on package types, is now available in PostScript form for ftp
at URL <ftp://lglftp.epfl.ch/pub/Papers/Mats>.

Please read the instructions in the file README before you get one of the
PostScript files.

Abstract:

This thesis is a critique of the Ada 83 programming language with emphasis
on the construction of reusable components and their composition, and more
generally on programming "in the large".

Ada 83's deficiencies in that area are first described, and then solutions
are proposed to most of the problems.

The main part of the thesis is a proposal for object-oriented extensions,
making classes and objects with inheritance available through package and
task types, as a very natural extension of Ada 83's task types.

These proposals can be viewed as an alternative to Ada 9X's tagged types,
with which a comparison is made.