The definition and use of data structures in REDUCE

ABSTRACT

This paper gives a brief description and motivation of the mode analyzing and data-structuring extensions to the algebraic language REDUCE. These include generic functions, user defined recursive data structures, mode transfer functions and user modifiable automatic coercion. A number of examples are given to illustrate the style and features of the language, and how it will aid in the construction of more efficient and reliable programs.

REFERENCES

• 1: Anthony C. Hearn, REDUCE 2: A system and language for algebraic manipulation, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.128-133, March 23-25, 1971, Los Angeles, California, United States [doi>10.1145/800204.806277]
• 1.1: HEARN, A.C., "REDUCE 2 User's Manual," 2nd Edition, University of Utah Computational Physics Group Report No. UCP-19, March 1973.
• 2: Rüdiger Loos, Algebraic algorithm descriptions as programs, ACM SIGSAM Bulletin [doi>10.1145/1093522.1093525]
• 3: Peter. Wegner, Programming Languages, Information Structures, and Machine Organization., McGraw Hill Text, 1968
• 3.1: LANDIN, P. J., "The Mechanical Evaluation of Expressions," Computer Journal (1964).
• 4: HEARN, A.C., "A Mode Analyzing Algebraic Manipulation Program", Proc. of ACM 74, San Diego (1974) 722-724.
• 5: WIRTH, N., "The Programming Language Pascal," Acta Informatica 1, (1971) 35.
• 5.1: HOARE, C.A.R., "Notes on Data-Structuring," in "Structured Programming," Academic Press (1972).
• 5.2: C. H Lindsey, Informal introduction to ALGOL 68, sole distributors for the U.S.A. and Canada Elsevier/North-Holland, 1977
• 5.3: Ben Wegbreit, The treatment of data types in EL1, Communications of the ACM, v.17 n.5, p.251-264, May 1974 [doi>10.1145/360980.360992]
• 6: HOARE, C.A.R., "Recursive Data-Structures," Stanford University Preprint (1973).
• 7: GRISS, M.L. and HEARN, A.C., "A Portable LISP Compiler," University of Utah Computational Physics Group Report No. UCP-47 (1976).

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION
      I.1.0 General

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.7 Distribution, Maintenance, and Enhancement
          Subjects: Portability

  E. Data
  E.1 DATA STRUCTURES

  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION
      I.1.3 Languages and Systems

General Terms:
Algorithms, Languages, Performance