Formal specification of operations on a class of syntactically-specified data structures
Norman Louis Mejstrik · SHAREOK (University of Oklahoma; Oklahoma State University; Central Oklahoma University) · 1982
To illustrate the theory, a transform statement syntax is developed, and an interpreter is used to demonstrate operations on several types of structures. The work documented herein is a potential basis for an advanced data structure manipulation language or program generator.