A data type encapsulation scheme utilizing base language operators

Abstract

A data type encapsulation scheme in which the “space” operations are expressed naturally in terms of the base language operators is described. The scheme results from a conceptual separation of operators and procedure calls in the base language and produces a language of considerable expressive power. The scheme has been implemented and several examples are given.