References and/or efficiency in high-level languages

Abstract

The role of reference variables in producing efficient but insecure data structure spaghetti is similar to that played by GOTOs in un-Structured Programming. Secure programming language constructs are suggested to replace various identified uses of references. Efficiency of program implementation is maintained by allowing specifications of the desired representation method to be added to the abstract data structure definitions.