© 1981 by British Computer Society
Protection in data type abstractions using constraints on data values
CACI Inc-International, 289 High Holborn, London, UK
Program reliability may be improved by the introduction of access control and protection facilities into programming languages, since these restrictions may be specified directly in the language and verified at compile time. These facilities have been particularly effective in languages incorporating abstract data types and strong type checking. A protection facility is presented that is weaker than most schemes but more flexible, utilising constraints on data values. This enables the benefits of abstraction and protection to be used by programmers in situations where abstract data types and strong type checking are inappropriate or too restrictive. These situations are exemplified by programs written to interface to proprietary software and particularly in the integration of proprietary and other software to provide ad hoc decision support. Examples are given from an experimental implementation of such interfaces.
Received September 1979.
* Present address: CACI Inc-International, 289 High Holborn, London WC1.
School of Computing Studies and Accountancy, University of East Anglia, Norwich, NR4 7TJ