The Turing programming language

ABSTRACT

Turing, a new general purpose programming language, is designed to have Basic's clean interactive syntax, Pascal's elegance, and C's flexibility.

REFERENCES

• 1: Richard W. Conway , Thomas R. Wilcox, Design and implementation of a diagnostic compiler for PL/I, Communications of the ACM, v.16 n.3, p.169-179, March 1973 [doi>10.1145/361972.361992]
• 2: Cordy, I.R., and Holt, R.C. Specification of Concurre'at Euclid. Tech. Rep. CSRI~133, Computer Systems Research Institute, University of Toronto, August 1981.
• 3: James R. Cordy , Richard C. Holt , David B. Wortman, Semantic charts: A diagrammatic approach to semantic processing, Proceedings of the 1979 SIGPLAN symposium on Compiler construction, p.39-49, August 06-10, 1979, Denver, Colorado, United States
• 4: Cordy, ).R., and Graham, T.C.N. TTV: A programming environment that's as smart as you waat it to be. In Proceedings of the 5th Canadian Symposium on Instructional Technology (Ottawa, Canada, May 1986), NRC (National Research Council}, 1986.
• 5: James R. Cordy , T. C. N. Graham, Design of an interpretive environment for Turing, Papers of the Symposium on Interpreters and interpretive techniques, p.199-204, June 24-26, 1987, St. Paul, Minnesota, United States
• 6: Cordy, J.R., Eliot, N., and Robertson, M. TURINGTOOL: A knowledge-based user interface to aid in the maintenance task, Tech. Rep. 87-183, Department of Computing and {nformation Science, Queen's University at Kingston, July 1987.
• 7: Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
• 8: David Gries, The Science of Programming, Springer-Verlag New York, Inc., Secaucus, NJ, 1987
• 9: Habermann, A.N. Critical comments on the programming language Pascal. Acta Informatica 3, 1973, 47-57.
• 10: Eric C.R. Hehner, The logic of programming, Prentice-Hall, Inc., Upper Saddle River, NJ, 1984
• 11: Andrew Hodges, Alan Turing, Simon & Schuster Trade, 1983
• 12: Richard C. Holt , James R. Cordy , David B. Wortman, An Introduction to S/SL: Syntax/Semantic Language, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.2, p.149-178, April 1982 [doi>10.1145/357162.357164]
• 13: Holt, R.C., and Cordy, J.R. The TURING language report. Tech. Rep. CSRG-153, Computer Systems Research Institute, University of Toronto, December 1983.
• 14: Holt, R.C. Concurrent Euclid, The Unix System and Ti~nis. Addison- Wesley, Reading, Mass. 1983.
• 15: Holt, R.C. TURING: An inside look at the genesis of a programming language. Computer-world 18, 20 (May 1984).
• 16: R C. Holt , J N.P Hume, Introduction to computer science using the TURING programming language, Reston Publishing Co., Reston, VA, 1984
• 17: Holt, R.C., and Cordy, J.R. The TURING PLUS report. Tech. Memo, Computer Systems Research Institute, University of Toronto, 1985.
• 18: Holt, R.C. Design goals for the TURING programming language. Tech. Rep. CSRI-187, Computer Systems Research Institute, University of Toronto, 1986.
• 19: Richard C. Holt , Philip A. Matthews , J. Alan Rosselet , James R. Cordy, The Turing programming language: design and definition, Prentice-Hall, Inc., Upper Saddle River, NJ, 1987
• 20: T. E. Hull , A. Abrham , M. S. Cohen , A. F. X., Curley , C. B. Hall , D. A. Penny , J. T. M., Sawchuk, Numerical Turing, ACM SIGNUM Newsletter, v.20 n.3, p.26-34, July 1985 [doi>10.1145/1057947.1057949]
• 21: Jean D. Ichbiah , Bernd Krieg-Brueckner , Brian A. Wichmann , John G. P. Barnes , Olivier Roubine , Jean-Claude Heliard, Rationale for the design of the Ada programming language, ACM SIGPLAN Notices, v.14 n.6b, p.1-261, June 1979 [doi>10.1145/956653.956654]
• 22: ISO Specification of the Computer Language Pascal. International Standards Organization. 1981.
• 23: K Jensen , N Wirth , A B Mickel , J F Miner, Pascal user manual and report; 3rd ed., Springer-Verlag New York, Inc., New York, NY, 1985
• 24: Kastens, U., Hurt, B., and Zimmerman, E. GAG: A Practical Compiler Generator. Springer-Verlag, Berlin, 1982.
• 25: Kernighan, B.W. Why Pascal Is Not My Favorite Programming Language. Computer Science Report 100, Bell Laboratories, Murray Hill, N.J., July 1981.
• 26: B. W. Lampson , J. J. Horning , R. L. London , J. G. Mitchell , G. J. Popek, Report on the programming language Euclid, ACM SIGPLAN Notices, v.12 n.2, p.1-79, February 1977 [doi>10.1145/954666.971189]
• 27: Rosselet, J.A. Definition and implementation of context conditions for programming languages. Tech. Rep. CSRG-162, Computer Systems Research Institute, University of Toronto, July 1984.
• 28: Welsh, J., Sneeringer, W.J., and Hoare, C.A.R. Ambiguities and insecurities in Pascal. Software--Practice and Experience 7, 6 (Nov. 1977), 685-696.
• 29: Wirth, N. Modula: A programming language for modular multiprogramming systems. Software--Practice and Experience, 7, I (Jan.-Feb. 1977}, 3-35.

INDEX TERMS

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

          Nouns: TURING

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification
          Subjects: Validation
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications
          Subjects: Applicative (functional) languages

General Terms:
Design, Languages, Management, Standardization, Verification