H N Y 9 7 3 4 8 :

595 James Cordy

ca
ca
web page
Dr. Cordy's work focuses on the provision of better linguistic tools for the design, development, maintenance and analysis of software, to increase productivity and decrease software costs. The first aspect of this work is the design of better high-level language features for the development of efficient, reliable, portable software systems. Dr. Cordy's past work in this area centred on languages and features for large-scale software, such as the Concurrent Euclid and Turing languages. Current related work concentrates on the synthesis of functional and rule-based paradigms in the transformational language TXL.

The second aspect of his work involves the development of better techniques for the implementation of high-level languages. Research in this area concentrated on compiler structure and methodology, exemplified by the S/SL compiler technology, used by IBM Canada, and the orthogonal model for code generation. Lately, he has concentrated on the exploitation of structural source transformation as a technique for rapid production of prototype implementations of new languages and features.

The third aspect of Dr. Cordy's work involves the development of language-based techniques for software design, analysis and reuse. His past research concentrated on software environments such as the Turing Programming Environment and TuringTool, which aid in the understanding and maintenance of software sources using knowledge-based viewing and editing. Current work has moved up a level to the problem of expressing and understanding software system designs and architectures.

In 1995, with K.A. Schneider and D.A. Jardine, Dr. Cordy founded Legasys, a technology transfer company exploiting the application of his TXL research. Dr. Cordy is a member of the NSERC grant selection committee in Computing Science and IFIP Working Group 2.4. He has served on the programme and review committees of numerous conferences and journals in the programming languages and software engineering areas.

Languages:

References:

  • Cordy, J.R. and Holt, R.C. (1979) Cordy, J.R. and Holt, R.C. "Specification of S/SL: Syntax/Semantic Language" 1979, rev 1980 University of Toronto.  E A
  • Wortman, David B.; Cordy, James R. (1981) Wortman, David B.; Cordy, James R. "Early experiences with Euclid" pp27-32  E A
          in [Proceedings] (1981) Proceedings of the 5th International Conference on Software Engineering 1981, March 09-12, 1981, San Diego, California, United States  E
  • Holt, R. C., J. R. Cordy, et al. (1982) Holt, R. C., J. R. Cordy, et al. "An Introduction to S/SL: Syntax/Semantic Language."  E A
          in (1982) TOPLAS 4(2) April 1982  E
  • Holt, R.C. & J.R. Cordy, (1983) Holt, R.C. & J.R. Cordy, "Turing Language Report", Report CSRI-153, CSRI, U Toronto, Dec 1983.  E A
          in (1982) TOPLAS 4(2) April 1982  E
  • Cordy J.R. & Holt, R.C. (1983) Cordy J.R. & Holt, R.C. "Specification of Concurrent Euclid", Reports CSRI-115 & CSRI-133, CSRI, U Toronto, Jul 1980, rev. Aug 1981. "Concurrent Euclid, The Unix System, and Tunis," R.C. Holt, A-W, 1983.  E A
          in (1982) TOPLAS 4(2) April 1982  E
  • Holt, R.C. & Cordy, J.R. (1987) Holt, R.C. & Cordy, J.R. "The Turing Plus Report", CSRI, U Toronto, Feb 1987.  E A
          in (1982) TOPLAS 4(2) April 1982  E
  • R.C. Holt, P.A. Matthews, J.A. Rosselet and J.R. C (1987) R.C. Holt, P.A. Matthews, J.A. Rosselet and J.R. Cordy "The Turing Language: Design and Definition", Prentice-Hall, 1987  E A
          in (1982) TOPLAS 4(2) April 1982  E
  • Barnard, D. T. and J. R. Cordy (1988) Barnard, D. T. and J. R. Cordy "SL parses the LR languages"  E A
          in (1988) Computer Languages 13(2)  E
  • Holt, Richard C., and James R. Cordy (1988) Holt, Richard C., and James R. Cordy "The Turing Programming Language"  E A
          in [ACM] (1988) [ACM] CACM 31(12) (Dec 1988).  E
  • Barnard, D. T. and J. R. Cordy (1989) Barnard, D. T. and J. R. Cordy "Automatically generating SL parsers from LL1) grammars"  E A
          in (1989) Computer Languages 14(2)  E
  • Cordy, James R. and Promislow, Eric (1990) Cordy, James R. and Promislow, Eric "Specification and automatic prototype implementation of polymorphic objects in Turing using the TXL dialect processor"  E A
          in [Proceedings] (1990) Proceedings of 1990 International Conference on Computer Languages (ICCL), March 12-15, 1990, New Orleans, IEEE Computer Society Press (Los Alamitos, CA, 1990),  E
  • Cordy, J.R. and Graham, T.C.N. (1990) Cordy, J.R. and Graham, T.C.N. "GVL: A Graphical, Functional Language for the Specification of Output in Programming Languages"  E A
          in [Proceedings] (1990) Proceedings of 1990 International Conference on Computer Languages (ICCL), March 12-15, 1990, New Orleans, IEEE Computer Society Press (Los Alamitos, CA, 1990),  E
  • Cordy, J. R.; Halpern, C. D.; and Promislaw, E. (1991) Cordy, J. R.; Halpern, C. D.; and Promislaw, E. "TXL: A rapid prototyping system for programming language dialects"  E A
          in (1991) Computer Languages 16(1)  E
  • Cordy, James R. and T. C. Nicholas Graham (1992) Cordy, James R. and T. C. Nicholas Graham "GVL: Visual Specification of Graphical Output", Journal of Visual Languages and Computing, 3, 1992.  E A
          in (1991) Computer Languages 16(1)  E
  • J. Cordy, K. Schneider, T. Dean, and A. Malton. (2001) J. Cordy, K. Schneider, T. Dean, and A. Malton. "HSML: Design directed source code hot spots". In Ninth Interna­tional Workshop on Program Comprehension, pages 145-154, Toronto, Canada, May 2001.  E A
          in (1991) Computer Languages 16(1)  E
  • Schneider, K.; Cordy, J.; (2002) Schneider, K.; Cordy, J.; "AUI: A Programming Language for Developing Plastic Interactive Software" p. 281  E A Extract: Introduction
          in [Proceedings] (2002) 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 January 07 - 10, 2002 Big Island, Hawaii  E