The purpose of this series of lectures is to present the constructs for programming-in-the-large in the Mjølner System. The BETA language does deliberately not include any facilities for modularization, encapsulation, separation of interface and implementation, etc. However, the Mjølner System includes a fragment system which makes modularization, encapsulation, separation of interface and implementation, separate compilation, etc. possible for BETA programs. Furthermore, this Lecture Series will present how exceptions can be dealt with in the BETA language.
Readings: [MMN 93, chap. 17 (17.1)]
Notes: This lecture presents the general grammar-based approach to program modularization, and its realisation in the BETA fragment system.
It is important to emphasise, that the fragment system is orthogonal to the BETA language. Emphasis that the fragment system controls slots, fragment forms, fragment groups, and the binding of fragments to slots (and the visibility of these bindings).
Readings: [MMN 93, chap. 17 (17.2-17.6)]
Notes: This lecture discusses the facilities for separating interface and implementation, for making abstract data structures, for creating program variants, etc.
Readings: [JLK84,87], [Borgida85]
Notes: Exception handling is an important part of programming large robust systems. This lecture will present the issues involved and a taxonomy for exception handling.
Readings: [MMN 93, chap. 16]
Notes: Presentation the power of BETA, allowing exception handling to be handled within the language itself.
|Teaching Package||© 1991-2002 Mjølner Informatics||
[Modified: Friday October 20th 2000 at 13:18]