Gerunds and representations

ABSTRACT

Gerunds, verbal forms that can be used as nouns, are recognized as having utility in the realm of programming languages. We show that gerunds can be viewed as arrays of atomic representations of verbs (functions), in a way which is consistent with the syntax and semantics of APL, and which allows verbs to be first class objects in the language. We define derivations of verbs from gerunds in the J dialect of APL, and show how these derivations provide control structures for sequencing, selection (in the sense of generalized forms of CASE or SWITCH statements and IF/THEN/ELSE), iteration (DO UNTIL), recursion, and parallel computation (MIMD, or Multiple Instruction, Multiple Data). We conclude with alternative representations of verbs which are useful in other contexts.

REFERENCES

• 1: Robert Bernecky, Greg Bezoff, and Michael Symes, APL Workspace Transfer, Sharp APL Technical Note 22, Revision 4, (1981-07-15).
• 2: Robert Bernecky, Function arrays, Proceedings of the international conference on APL, p.53-56, June 11-15, 1984, Finland
• 3: James A. Brown, Function assignment and arrays of functions, Proceedings of the international conference on APL, p.81-84, June 11-15, 1984, Finland
• 4: Dana E. Cartwright, "Workspace Interchange Convention", APL Quote-Quad, (December 1977).
• 5: A. D. Falkoff, Algorithms for Parallel-Search Memories, Journal of the ACM (JACM), v.9 n.4, p.488-511, Oct. 1962 [doi>10.1145/321138.321147]
• 6: M. J. Flynn, "Very high-speed computers", Proceedings of the IEEE, Vol. 54, pp. 1901-1909, (December 1966).
• 7: Roger K. W. Hui , Kenneth E. Iverson , E. E. McDonnell , Arthur T. Whitney, APL\?, ACM SIGAPL APL Quote Quad, v.20 n.4, p.192-200, July 1990
• 8: APL2 Programming: Language Reference, IBM Corporation, pp. 427-429, SH20-9227, (1987).
• 9: International Standard for Programming Language APL, ISO 8485, (1984).
• 10: Kenneth E. Iverson, A dictionary of APL, ACM SIGAPL APL Quote Quad, v.18 n.1, p.5-40, September 1, 1987 [doi>10.1145/36983.36984]
• 11: E. E. McDonnell , K. E. Iverson, Phrasal forms, ACM SIGAPL APL Quote Quad, v.19 n.4, p.197-199, Aug. 1989
• 12: K. E. Iverson, "J", Vector, Volume 7, Number 1, (August 1990).
• 13: K.E. Iverson, Tangible Math and the ISI Dictionary of J, Iverson Software Inc., Toronto, (1990-10-06).
• 14: K. E. Iverson, "The Dictionary of J", Vector, Volume 7, Number 2, (October 1990).
• 15: David J. Landaeta, A notation for manipulating arrays of operations, ACM SIGAPL APL Quote Quad, v.16 n.4, p.21-29, 1986
• 16: D. Landaeta, The theory of function arrays, Proceedings of the international conference on APL, p.223-229, December 1987, Sydney, Australia
• 17: David B. Piper, "Semantic Class and Arrays of Functions", Vector, Volume 6, Number 1, (July 1989).

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: APL

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Control structures

  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES

General Terms:
Languages