R.C. Holt: More Papers

• Comments on Prevention of Systems Deadlocks. Communications of the Association for Computing Machinery, Jan. 1971, pp. 36-38.
• On the Time Required to Detect Cycles and Connectivity in Directed Graphs. Mathematical Systems Journal, Vol 6, No. 2, 1972 (R.C. Holt and E.M. Reingold), pp. 103-106.
• Some Deadlock Properties of Computer Systems, published in Proceedings of Third Symposium on Operating Systems Principles, Oct., 1971. Expanded version published in Association for Computing Machinery Computing Surveys, Vol. 4, No. 3, Sept. 1972, pp. 179-196.
• Reply to Comment on Deadlock Prevention Method. Communication of the Association for Computing Machinery. Vol 15, No.9, pp. 840-841, Sept. 1972.
• Note: major portions of the research on deadlock have been re-published in standard textbooks on operating systems such as: The Logical Design of Operating Systems such as: The Logical Design of Operating Systems, A.C. Shaw, Prentice-Hall 1974, and Tsichritzis and Berstein, Academic Press, 1974.
• Teaching the Fatal Disease (or) Introductory Computer Programming Using PL/I, Richard C. Holt, Dept. of Computer Science and Computer Systems Research Group, University of Toronto, 5 November 1972 (This article was never academically published, but instead appeared in a number of newsletters. It was more widely read than most of my articles.)
• Using Microcomputers to Teach High Level Programming Languages, INFOR Canadian Journal of Operational Research and Information Processing, February 1974, Vol. 12, No. 1, 19-24.
• Structure of Computing Programs: A Survey, IEEE Proceedings, Vol. 63, No. 6, June 1975, pp. 169-182.
• ZED: A Very Modest Implementation language. INFOR Canadian Journal of Operational Research and Information Processing, Vol. 14, No. 2, June 1975, pp. 169-182.
• The SUE/11 Operating System, INFOR Canadian Journal of Operational Research and Information Processing, Jan. 1977, 7 pages.
• SP/k: A System for Teaching Computer Programming. Communications of the Association for Computing Machinery, Vol. 20, No. 5, May 1977 (R.C. Holt, D.B. Wortman, D.T. Barnard, and J.R. Cordy), pp. 301-309.
• Introduction to S/SL: Syntax/Semantic Languages, ACM Transactions on Programming Languages, April 1982 (Vol. 4, No. 2), 149-178 (R.C. Holt and D.B. Wortman), pp 149-178.
• A Model for Implementing Euclid Modules and Prototypes, ACM Transactions on Programming Languages, Oct. 1982 (Vol. 4, No. 4), 552-562 (R.C. Holt and D.B. Wortman).
• Hierarchic Syntax Error Repair, International Journal of Comput. and Info. Sciences, D.T. Barnard and R.C. Holt, 11, 4 (Aug. 82), pp. 231-258.
• SRE: A Syntax Recognizing Editor, Software Practice and Experience, Vol. 15(5), pp. 489-497, May 1985 (F.J. Budinsky, S.G. Zaky and R.C. Holt).
• Data Descriptors: A Compile-Time Model of Data and Addressing, ACM Transactions on Programming Languages and Systems, Vol. 9, No. 3, July 1987, pp. 387-389 (R.C. Holt).
• The Turing Programming Language, Comm. ACM, Dec. 1988, Vol 31, No 12 (R.C. Holt and J.R. Cordy), pp 1410-1423.
• Code Generation using an Orthogonal Model, Software Practice and Experience, Vol 20 (3), pp 301-320, March 1990 (J.R. Cordy and R.C. Holt).
• Spectur --- A Specification Language for the Programmer, Michael W. Godfrey and Richard C. Holt, Technical Report CSRI-241, University of Toronto, June 1990.
• Schedulability Analysis, A.D. Stoyenko, V.C. Hamacher, R.C. Holt, IEEE Trans. on Software Engineering, June 1991.
• Formal Specification in Metamorphic Programming, by David A. Penny, Richard C. Holt and Michael W. Godfrey, Proc. of the 4th International Symposium of VDM Europe, Springer-Verlag Lecture Notes in Computer Science no. 551, October 1991.
• Multicolour Programming and Metamorphic Programming: Object-Oriented Programming-in-the-Large, R. C. Holt, D. A. Penny, S. Mancoridis, CASCON '92: Centre for Advanced Studies Conference, Toronto, Ontario, Canada, November 1992.
• Visual Formalisms for Configuration Management, Michael W. Godfrey and Richard C. Holt, CASCON '93: Centre for Advanced Studies Conference, October 1993.
• A Conceptual Framework for Software Development, S. Mancoridis, R. C. Holt, D. A. Penny, CSC '93: ACM Proceedings of the Twenty-First Computer Science Conference, Indianapolis, Indiana, February 1993.
• A Curriculum-Cycle Environment for Teaching Programming, S. Mancoridis, R. C. Holt, D. A. Penny, SIGCSE '93: ACM SIGCSE Proceedings of the Twenty-Fourth Symposium on Computer Science Education Indianapolis, Indiana, February 1993.

• Recent papers
• Holt home page
• Books