Papers and Articles

• Stack languages and log n space (with C. Wrathall), Journal of Computer and System Sciences 17 (1978), 281-299.
• Iteration theorems for families of strict deterministic languages, Theoretical Computer Science 10 (1980), 317-333.
• Measures of parallelism in alternating computation trees, Proceedings of the 13th Annual ACM Symposium on Theory of Computing (1981), 189-201.
• Alternating multihead finite automata, Automata, Languages, and Programming, Eighth Colloquium, Lecture Notes in Computer Science 115, Springer-Verlag, Berlin (1981), 506-520.
• An optimal algorithm for sink-finding (with B. Smith-Thomas), Information Processing Letters 14 (1982), 109-111.
• A Fortran 77 interpreter for mutation analysis (with A. J. Offutt VI), Proceedings of the SIGPLAN '87 Symposium on Interpreters and Interpretive Techniques. Published as SIGPLAN Notices 22, 7 (July 1987), 177-188.
• Modula-2 standardization: an interim report, Proceedings of the 26th Annual ACM Southeast Regional Conference (April 1988), 296-299.
• Tools for managing a library of reusable Ada components (with R. A. Gagliano, G. S. Owen, M. D. Fraser, and P. Honkanen), Workshop Proceedings, Ada Reuse and Metrics (June 1988).
• Using mutation analysis for testing Ada programs (with W. F. Appelbe, R. A. DeMillo, D. S. Guindi, and W. M. McCracken), in Ada in Industry (Cambridge: Cambridge University Press, 1988), 65-80, S. Heilbrunner, editor.
• An extended overview of the Mothra software testing environment (with R. A. DeMillo, D. S. Guindi, W. M. McCracken, and A. J. Offutt), Proceedings of the Second Workshop on Software Testing, Verification, and Analysis (July 1988), 142-151.
• Ada for Pascal programmers, Dr. Dobb's Journal of Software Tools 15, 9 (September 1988), 34-51.
• Alternating multihead finite automata, Theoretical Computer Science 61 (1988), 149-174.
• The international standardization of Modula-2, Proceedings of the 1989 ACM Computer Science Conference (February 1989), 313-319.
• Wirth's Fourth Edition and a standards update, Journal of Pascal, Ada, and Modula-2 8, 5 (September/October 1989), 76-79.
• The draft proposed standard for Modula-2, Journal of Pascal, Ada, and Modula-2 8, 6 (November/December 1989), 71-75.
• More on the draft proposed standard, Journal of Pascal, Ada, and Modula-2 9, 1 (January/February 1990), 52-55.
• Briefs column, Journal of Pascal, Ada, and Modula-2 9, 2 (March/April 1990), 7-9.
• The development of a Modula-2 validation suite (with D. A. Crick), Proceedings of the 28th Annual ACM Southeast Regional Conference (April 1990), 95-100.
• Briefs column, Journal of Pascal, Ada, and Modula-2 9, 3 (May/June 1990), 8-9.
• Input/output in the draft proposed standard, Journal of Pascal, Ada, and Modula-2 9, 3 (May/June 1990), 65-68.
• Briefs column, Journal of Pascal, Ada, and Modula-2 9, 4 (July/August 1990), 9-10.
• Standardizing the SYSTEM module, Journal of Pascal, Ada, and Modula-2 9, 4 (July/August 1990), 50-55.
• Briefs column, Journal of Pascal, Ada, and Modula-2 9, 5 (September/October 1990), 8-9.
• Surprise! COMPLEX added to Modula-2, Journal of Pascal, Ada, and Modula-2 9, 5 (September/October 1990), 59-62.
• Ada, C++, and Modula-2 in the computer science curriculum (with G. S. Owen), Proceedings of the 29th Annual ACM Southeast Regional Conference (April 1991), 203-208.
• What's new with Modula-2?, Dr. Dobb's Journal 16, 6 (June 1991), 42-49.
• A Fortran language system for mutation-based software testing (with A. J. Offutt), Software--Practice & Experience 21, 7 (July 1991), 685-718.
• The evolution of the programming languages course, Proceedings of the 23rd SIGCSE Technical Symposium on Computer Science Education. Published as SIGCSE Bulletin 24, 1 (March 1992), 213-219.
• An approach to the programming languages course, Proceedings of the 30th Annual ACM Southeast Conference (April 1992), 3-10.
• Modula-3: language of the future?, Proceedings of the 31st Annual ACM Southeast Conference (April 1993), 81-87.
• Modula-3: a threat to Ada?, Proceedings of the Tenth Annual Washington Ada Symposium (June 1993), 147-154.
• The history of programming languages, Dr. Dobb's Journal 18, 8 (August 1993), 18-24.