Defining dynamic variables and abstract data types in Pascal

The definition of dynamic variables in Pascal and in many other hiqh level programming languages involves the use of pointers. This paper introduces a new type for describing dynamic variables so that they can be referred to directly by their names. Programming involving dynamic variables is usually complex and error prone. It can be facilitated if the concept of abstract data types is applied. A data type for describing abstract data types is proposed. The inclusion of the proposed features in Pascal is suggested through the implementation of a preprocessor.