Abstract
Turing, a new general purpose programming language, is designed to have Basic's clean interactive syntax, Pascal's elegance, and C's flexibility.
- 1 Conway, R.W., and Wilcox, T.R. Design and implementation of a diagnostic compiler for PL/1. Commun. ACM 6, 3 {Mar. 1973), 169-179. Google ScholarDigital Library
- 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.Google Scholar
- 3 Cordy, J.R. A diagrammatic approach to processing programming language semantics, Tech. Rep. CSRI-67, Computer .'2ystems Research Institute, University of Toronto, March 1976 (later published In Proceedings of SIGPLAN 79 Symposium on Compiler' Construction. SIGPLAN Not. 14, 8 {Aug. 1979}, 39-49. Google ScholarDigital Library
- 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.Google Scholar
- 5 Cordy, J.R., and Graham, T.C.N. Design of an interpretive environment for TURING. In Proceedings of SIGPLAN 87 Symposium on Interpreters and Interpretive Techniques. SIGPLAN Not. 22, 7 (July 1987). Google ScholarDigital Library
- 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.Google Scholar
- 7 Dijkstra, E.W. A Discipline of Programming. Prentice-Hall, Englewood,} Cliffs, N.J., 1976. Google ScholarDigital Library
- 8 Gries. D. The Science of Programming. Springer-Verlag, New York, 1981. Google ScholarDigital Library
- 9 Habermann, A.N. Critical comments on the programming language Pascal. Acta Informatica 3, 1973, 47-57.Google ScholarDigital Library
- 10 Hehner, E.C.R. The Logic of Programming. Prentice-Hall International Series in Computer Science, London, 1984. Google ScholarDigital Library
- 11 Hodges, A. Alan Turing: The enigma. Simon & Schuster, New York, 1983. Google ScholarDigital Library
- 12 Holt, R.C., Cordy, J.R., and Wortman, D.W. An introduction to S/SL: syntax semantics language. ACM Trans. Prog. Lang. Syst. 4, 2 (Apr. 1982) 149-178. Google ScholarDigital Library
- 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.Google ScholarDigital Library
- 14 Holt, R.C. Concurrent Euclid, The Unix System and Ti~nis. Addison- Wesley, Reading, Mass. 1983.Google Scholar
- 15 Holt, R.C. TURING: An inside look at the genesis of a programming language. Computer-world 18, 20 (May 1984).Google Scholar
- 16 Holt, R.C., Hume, J.N.P. Introduction to Computer Science Using the TURING Programming Language. Reston, Prentice-Hall, Englewood Cliffs, N.J., 1984. Google ScholarDigital Library
- 17 Holt, R.C., and Cordy, J.R. The TURING PLUS report. Tech. Memo, Computer Systems Research Institute, University of Toronto, 1985.Google Scholar
- 18 Holt, R.C. Design goals for the TURING programming language. Tech. Rep. CSRI-187, Computer Systems Research Institute, University of Toronto, 1986.Google Scholar
- 19 Holt, R.C., Matthews, P.A., Rosselet, J.A., and Cordy, ).R. The TURING Programming Language: Design and Definition. Prentice-Hall Eng}ewood Cliffs, N.J., ~ 987. Google ScholarDigital Library
- 20 Hull, T.E., Abraham, M.S., Cohen, M.S., Curley, A.F.X., Hall, C.B., Penny, D.A., and Sawchuk, J.T.M. Numerical TURING. ACM SIG- NUM Newsletter 20, 3 (July 1985), 26-34. Google ScholarDigital Library
- 21 Ichbiah, J. et al. Rationale for the design of the Ada programming language. ACM SIGPLAN Not., 14, 6 (June 1979). Google ScholarDigital Library
- 22 ISO Specification of the Computer Language Pascal. International Standards Organization. 1981.Google Scholar
- 23 Jensen, K., and Wirth, N. Pascal User Manual and Report. 2d ed., Springer-Verlag, New York, 1974. Google ScholarDigital Library
- 24 Kastens, U., Hurt, B., and Zimmerman, E. GAG: A Practical Compiler Generator. Springer-Verlag, Berlin, 1982.Google Scholar
- 25 Kernighan, B.W. Why Pascal Is Not My Favorite Programming Language. Computer Science Report 100, Bell Laboratories, Murray Hill, N.J., July 1981.Google Scholar
- 26 Lampson, B.W., Horning, J.J., London, R.L., Mitchell, J.G., and Popek, G.J. Report on the programming language Euclid. ACM SIGPLAN Not. 12, 2 (Feb. 1977) (The revised language is described in Rep. CSL-81-12, Xerox Palo Alto Research Center, October 1981.) Google ScholarDigital Library
- 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.Google Scholar
- 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.Google ScholarCross Ref
- 29 Wirth, N. Modula: A programming language for modular multiprogramming systems. Software--Practice and Experience, 7, I (Jan.-Feb. 1977}, 3-35.Google Scholar
Index Terms
- The Turing programming language
Comments