Uniform support for collections of objects in a persistent environment

The LEIBNIZ programming language, developed as part of the MONADS project at the University of Newcastle, NSW, supports implementation-independent high-level constructs, based on sets and sequences, for manipulating collections of objects in such a way that the compiler can be guided to select a suitably efficient implementation mechanism. The authors describe the relevant LEIBNIZ constructs and discuss how the structure of the compiler allows novel implementations, written in LEIBNIZ, to be added. At present a Pascal compiler exists for the MONADS-PC and a LEIBNIZ compiler (translating into Pascal) is currently under development. The authors have formulated the rules necessary to produce the transformations from LEIBNIZ to Pascal, using implementation modules, and these have recently been incorporated into the compiler. The resulting Pascal code was then tested and found to be correct.>