James R. (Jim) Cordy
Selected Publications
Most recent papers are linked to downloadable Adobe Acrobat Reader portable document format (PDF) documents. All papers are copyright by their respective publishers (IEEE, ACM, Elsevier, Springer and so on) - see the publishers' websites for copyright restrictions and definitive published versions.
2003
J.R. Cordy, "Facing Reality: Challenges to Software Maintenance Automation", Proc. IWPC 2003, IEEE 11th International Workshop on Program Comprehension, Portland, Oregon, May 2003, to appear (invited keynote paper).D. Jin, J.R. Cordy and T.R. Dean, "Transparent Reverse Engineering Tool Integration Using a Conceptual Transaction Adapter", Proc. CSMR 2003, IEEE 7th European Conference on Software Maintenance and Reengineering, Benevento, Italy, March 2003, to appear (accepted November 2002).
2002
T.R. Dean, J.R. Cordy, A.J. Malton and K.A. Schneider, "Grammar Programming in TXL", Proc. SCAM'02 - IEEE 2nd International Workshop on Source Code Analysis and Manipulation, Montreal, October 2002, to appear.K.A. Schneider and J.R. Cordy, "Abstract User Interfaces: a Model and Notation to Support Plasticity in Interactive Systems" in Interactive Systems: Design, Specification and Verification, Springer Verlag Lecture Notes in Computer Science 2220, Berlin, 2002, pp. 28-48.
R. Zanibbi, D. Blostein and J.R. Cordy, "Recognizing Mathematical Expressions Using Tree Transformation", IEEE Transactions on Pattern Analysis & Machine Intelligence 24,11 (November 2002), to appear.
J.R. Cordy, T.R. Dean, A.J. Malton and K.A. Schneider, "Source Transformation in Software Engineering using the TXL Transformation System", Special Issue on Source Code Analysis and Manipulation, Journal of Information and Software Technology, accepted February 2002 (to appear).
D. Blostein, J.R. Cordy and R. Zanibbi, "Applying Compiler Techniques to Diagram Recognition", Proc. ICPR 2002, 16th IAPR International Conference on Pattern Recognition, Québec, August 2002, 5 pp.
D. Jin, J.R. Cordy and T.R. Dean, "Where's the Schema? A Taxonomy of Patterns for Software Exchange", Proc. IWPC 2002 - IEEE 10th International Workshop on Program Comprehension, Paris, June 2002, pp. 65-74.
K.A. Schneider and J.R. Cordy, "AUI: A Programming Language for Developing Plastic Interactive Software", Proc. HICSS-35 - Hawaii Int'l Conf. on the System Sciences, Waikoloa, Hawaii, Jan. 2002, pp. 281b (10 pp.)
2001
H. Fahmy, R.C. Holt and J.R. Cordy, "Wins and Losses of Algebraic Transformations of Software Architectures", Proc. ASE'2001, IEEE 16th International Conference on Automated Software Engineering, San Diego, November 2001, 8 pp.R. Zanibbi, D. Blostein and J.R. Cordy, "Directions in Recognizing Tabular Structures of Handwritten Mathematics Notation", Proc. GREC 2001, 4th IAPR International Workshop on Graphics Recognition, Kingston, September 2001, pp. 493-499. (Refereed by abstract only.)
J.R. Cordy, T.R. Dean, A.J. Malton and K.A. Schneider, "Software Engineering by Source Transformation - Experience with TXL", Proc. SCAM'01 - IEEE 1st International Workshop on Source Code Analysis and Manipulation, Florence, November 2001, pp. 168-178.
T.R. Dean, J.R. Cordy, K.A. Schneider and A.J. Malton, "Experience Using Design Recovery Techniques to Transform Legacy Systems", Proc. ICSM 2001 - IEEE International Conference on Software Maintenance, Florence, November 2001, pp. 622-631.
R. Zannibbi, D.A. Blostein and J.R. Cordy, "Baseline Structure Analysis of Handwritten Mathematics Notation", Proc. ICDAR 2001 - IAPR 6th International Conference on Document Analysis and Recognition, Seattle, September 2001, pp. 768-773.
K.A. Schneider and J.R. Cordy, "Abstract User Interfaces: a Model and Notation to Support Plasticity in Interactive Systems", Proc. DSVIS 2001 - 8th International Workshop on Design, Specification and Verification of Interactive Systems, Glasgow, June 2001, pp. 40-59.
J.R. Cordy, K.A. Schneider, T.R. Dean and A.J. Malton, "HSML: Design Directed Source Code Hot Spots", Proc. IWPC 2001 - IEEE 9th International Workshop on Program Comprehension, Toronto, May 2001, pp. 145-154.
A.J. Malton, K.A. Schneider, J.R. Cordy, T.R. Dean, D. Cousineau and J. Reynolds, "Processing Software Source Text in Automated Design Recovery and Transformation", Proc. IWPC 2001 - IEEE 9th International Workshop on Program Comprehension, Toronto, May 2001, pp. 127-134.
1998
M. Shukla Sarkar, D. Blostein and J.R. Cordy, "GXL - A Graph Transformation Language with Scoping and Graph Parameters", Proc. TAGT'98 - Theory and Applications of Graph Transformations, Paderborn, Germany, November 1998, 8 pp.
1996
T.Dean and J.R. Cordy, "Software Characterization using Connectivity", in Studies of Software Design, D.A. Lamb (ed.), Springer Verlag Lecture Notes in Computer Science 1078, Berlin, 1996, pp. 33-48.
1995
T.R. Dean and J.R. Cordy, "A Syntactic Theory of Software Architecture", Special Issue on Software Architecture, IEEE Transactions on Software Engineering 21,4 (January 1995), pp. 302-313.J.R. Cordy and K.A. Schneider, "Architectural Design Recovery Using Source Transformation", Proc. CASE'95 Workshop on Software Architecture, Toronto (July 1995), 15 pp.
1994
R. Abu-Hamdeh, J.R. Cordy and T.P. Martin, "Schema Translation Using Structural Transformation", Proc. CASCON'94, IBM Centre for Advanced Studies 1994 Conference, Toronto, November 1994, pp. 202-215.
1993
J.R. Cordy and M. Barbacci (as Guest Editors), "Introduction to the Special Issue on ICCL'92", Computer Languages 19,2 (April 1993), pp. 63-64.T.R. Dean and J.R. Cordy, "Software Characterization using Connectivity", Proc. Workshop on Studies of Software Design, 15th International Conference on Software Engineering (ICSE), Baltimore, Maryland, May 1993, pp. 1-16.
1992
J.R. Cordy and T.C.N. Graham, "GVL: Visual Specification of Graphical Output", Journal of Visual Languages and Computing 3,1 (January 1992), pp. 25-47.J.R. Cordy and M. Shukla, "Practical Metaprogramming", Proc. CASCON'92, IBM Centre for Advanced Studies 1992 Conference, Toronto, November 1992, pp. 215-224.
J.R. Cordy, "Why the User Interface is not the Programming Language - and How it Can Be", in Languages for Developing User Interfaces, Brad A. Myers (ed.), Jones and Bartlett, Boston, 1992, pp. 91-100.
J.R. Cordy, "Hints on the Design of User Interface Language Features - Lessons from the Design of Turing", in Languages for Developing User Interfaces, Brad A. Myers (ed.), Jones and Bartlett, Boston, 1992, pp.329-340.
J.R. Cordy, R.D. Hill, G. Singh and B. Vander Zanden, "Report of the Linguistic Support Working Group", in Languages for Developing User Interfaces, Brad A. Myers (ed.), Jones and Bartlett, Boston, 1992, pp.385-400.
1991
J.R. Cordy, C.D. Halpern and E. Promislow, "TXL: A Rapid Prototyping System for Programming Language Dialects", Computer Languages 16,1 (January 1991), pp. 97-107.J.R. Cordy, "Why the User Interface is not the Programming Language - and How it Can Be", ACM CHI'91 Workshop on Languages for Developing User Interfaces, April 1991. Published as chapter 6 in Languages for Developing User Interfaces, Brad A. Myers (ed.), Jones and Bartlett, Boston, 1992, pp. 91-100.
J.R. Cordy, "Hints on the Design of User Interface Language Features - Lessons from the Design of Turing", ACM CHI'91 Workshop on Languages for Developing User Interfaces, April 1991. Published as chapter 18 in Languages for Developing User Interfaces, Brad A. Myers (ed.), Jones and Bartlett, Boston, 1992, pp.329-340.
1990
J.R. Cordy, N.L. Eliot and M.G. Robertson, "TuringTool: A Knowledge-Based User Interface to Aid in the Maintenance Task", IEEE Transactions on Software Engineering 16,3 (March 1990), pp. 294-301.J.R. Cordy and R.C. Holt, "Code Generation Using an Orthogonal Model,"
Software-Practice and Experience 20,3 (March 1990), pp. 301-320.J.R. Cordy and E.M. Promislow, "Specification and Automatic Prototype Implementation of Polymorphic Objects in Turing Using the TXL Dialect Processor", Proc. IEEE 1990 International Conference on Computer Languages, March 1990, pp.145-154.
J.R. Cordy and T.C.N. Graham, "GVL: A Graphical, Functional Language for the Specification of Output in Programming Languages," Proc. IEEE 1990 International Conference on Computer Languages, March 1990, pp. 11-22.
1989
D.T. Barnard and J.R. Cordy, "Automatically Generating SL Parsers from LL(1) Grammars", Computer Languages 14,2 (April 1989), pp. 93-98.T.C.N. Graham and J.R. Cordy, "Conceptual Views of Data Structures as a Model of Output in Programming Languages," Proc. HICSS-22, ACM/IEEE 22nd Hawaii International Conference on System Sciences, January 1989, pp. 1064-1074.
1988
R.C. Holt and J.R. Cordy, "The Turing Programming Language", Communications of the Association for Computing Machinery 31,12 (December 1988),pp. 1410-1423.D.T. Barnard and J.R. Cordy, "SL Parses the LR Languages", Computer Languages 13,2 (April 1988), pp. 65-74.
J.R. Cordy, C.D. Halpern and E. Promislow, "TXL: A Rapid Prototyping System for Programming Language Dialects", Proc. IEEE 1988 International Conference on Computer Languages, October 1988, pp. 280-285.
1987
J.R. Cordy and T.C.N. Graham, "Design of an Interpretive Environment for Turing", Proc. ACM SIGPLAN 1987 Symposium on Interpreters and Interpretive Techniques, ACM SIGPLAN Notices 22,7, July 1987, pp. 199-204.J.R. Cordy, "Code Generation Using an Orthogonal Model", Proc. HICSS-20, ACM/IEEE 20th Hawaii International Conference on System Sciences, January 1987, pp. 318-329.
1986
J.R. Cordy and T.C.N. Graham, "TTV: A Programming Environment That's as Smart as You Want It To Be", Proc. NRC 5th Canadian Symp. on Instructional Technology, Ottawa, May 1986, pp. 465-472.
1984
J.R. Cordy, "Compile Time Detection of Aliasing in Euclid Programs", Software-Practice and Experience 14,8 (August 1984), pp. 755-768.J.R. Cordy, "Early Experience with Turing, Proc. IFIP/IFORS Conference on System Programming Languages -Experience and Assessment, University of Kent at Canterbury, Sept. 1984.
1982
R.C. Holt, J.R. Cordy and D.B. Wortman, "An Introduction to S/SL: Syntax/Semantic Language", ACM Transactions on Programming Languages and Systems 4,2 (April 1982), pp. 149-178.
1981
D.B. Wortman and J.R.Cordy, "Early Experiences with Euclid", Proc. ICSE-5, IEEE 5th International Conf. Software Engineering, San Diego, March 1981, pp. 27-32.R.C. Holt, D.B. Wortman, J.R. Cordy, D.R. Crowe and I.H.Griggs, "Euclid - A Language for Producing Quality Software", Proc. Association for Computing Machinery 1981 National Conference, Chicago, May 1981.
1979
J.R. Cordy, R.C. Holt and D.B.Wortman, "Semantic Charts: A Diagrammatic Approach to Semantic Processing", Proc. Association for Computing Machinery 1979 SIGPLAN Symposium on Compiler Construction, ACM SIGPLAN Notices 14, 8, August 1979, pp. 39-49.
1978
R.C. Holt, D.B. Wortman, J.R. Cordy and D.R.Crowe, "The Euclid Language: A Progress Report", Proc. ACM 1978 National Conference, Washington, December 1978.
1977
R.C.Holt, D.B. Wortman, D.T. Barnard and J.R. Cordy, "SP/k: A System for Teaching Computer Programming", Communications of the ACM 20,5 (May 1977), pp. 301-309.
T.R. Dean, J.R. Cordy, A.J. Malton and K.A. Schneider, "Agile Parsing in TXL", submitted to Journal of Autmated Software Engineering Special Issue on Source Code Analysis and Manipulation, 2003 (invited submission).J.R. Cordy, "Generalized Selective XML Markup of Source Code Using Agile Parsing", submitted to IWPC 2003, IEEE 11th International Workshop on Program Comprehension, Portland, Oregon, May 2003.
X. Guo, J.R. Cordy and T.R.Dean, "XML Unique Renaming of Java Source", submitted to IWPC 2003, IEEE 11th International Workshop on Program Comprehension, Portland, Oregon, May 2003.
J.R. Cordy, "Agile Parsing", 40th Meeting of IFIP Working Group 2.4 (Software Implementation Technology), Dagstuhl, Germany (November 2002), 27 pp.J.R. Cordy, "Global Unique Naming in LS/AMT", 38th Meeting of IFIP Working Group 2.4 (Software Implementation Technology), San Miniato, Italy (May 2001), 16 pp.
J.R. Cordy, "HSML: The Hot Spot Markup Specification Language", 36th Meeting of IFIP Working Group 2.4 (Software Implementation Technology), Banff, Alberta (September 1999), 18 pp.
J.R. Cordy, "The Year 2000 Problem", 33rd Meeting of IFIP Working Group 2.4 (Software Implementation Technology), Estes Park, Colorado (September 1997), 20 pp.
J.R. Cordy, "Evolution of the LS/2000 Software Architecture",
33rd Meeting of IFIP Working Group 2.4 (Software Implementation Technology), Estes Park, Colorado (September 1997), 15 pp.
J.R. Cordy, "Software Engineering by Source Transformation - Experience with TXL", Distinguished Lecture Series, Department of Computer Science, University of Victoria, May 2002.J.R. Cordy, "Transformational Techniques in Software Engineering using TXL", Distinguished Lecture Series, Department of Computer Science, York University, Januray 1995.
R.C. Holt, P.A. Matthews, J.A. Rosselet and J.R. Cordy, The Turing Programming Language: Design and Definition, Prentice-Hall, 1988, 325 pp.J.R. Cordy, Introduction to Compiler Construction Using S/SL : the Syntax/Semantic Language, Department of Computing and Information Science, Queen's University at Kingston, July 1986, 131 pp.
J.R. Cordy, 2 Una Strategia Ortogonale, in Compilatori, Interpreti Techniche di Traduzione, Stefano Crespi-Reghizzi, Masson S.p.A., Milano, 1990, pp. 307-338 (in Italian).
R.C. Holt and J.R. Cordy, The Turing Language Report, in Introduction to Computer Science using the Turing Programming Language, R.C. Holt and J.N.P. Hume, Reston, 1984, pp. 331-387.
J.R. Cordy and R.C Holt, Specification of Concurrent Euclid, in Concurrent Euclid, the UNIX System and TUNIS, R.C. Holt, Addison-Wesley, 1983, pp. 243-297.
J.R. Cordy, I.H. Carmichael and R. Halliday, "The TXL Programming Language - Version 10", Queen's University at Kingston and Legasys Corporation, Kingston, January 2000 (65 pp).J.R. Cordy, "The TXL User's Guide - Version 10", Queen's University at Kingston and Legasys Corp., Kingston, January 2000 (61 pp).
J.R. Cordy, "Hot Spot Markup Specification Language (HSML) v3.0 Revised Language Specification", Technical Report WP99-202, Legasys Corporation, Kingston, July 1999 (9 pp).
J.R. Cordy and T.R. Dean, "The Evolution of LS/2000: a Case Study in Software Architecture", Technical Report ED7-98, Legasys Corporation, Kingston, July 1998 (12 pp).
J.R.Cordy, "The LS/2000 Approach to the Year 2000 Certification: A Client's Perspective", Technical Report ED6-98, Legasys Corporation, Kingston, May 1998 (8 pp).
J.R. Cordy, "The LS/2000 Technical Guide to the Year 2000", Technical Report ED5-97, Legasys Corporation, Kingston, and IBM Corporation, Toronto, April 1997 (22 pp).
T.P. Martin, J.R. Cordy and R. Abu-Hamdeh, "Information Capacity Preserving Translations of Relational Schemas Using Structural Transformations", Technical Report 93-392, Department of Computing and Info. Science, Queen's University at Kingston, November 1995 (25 pp).
T.P. Martin, J.R. Cordy and R. Abu-Hamdeh, "Schema Translation Using Structural Transformation", Database Systems Laboratory, Queen's University at Kingston, September 1995 (30 pp).
J.R. Cordy, I.H. Carmichael and R. Halliday, "The TXL Programming Language (Version 8)", Software Technology Laboratory, Queen's University at Kingston, April 1995 (37 pp).
J.R. Cordy, "User's Guide to the TXL Compiler/Interpreter", Software Technology Laboratory, Queen's University at Kingston, April 1995 (36 pp).
J.R. Cordy and R. Halliday, "Introduction to TXLDB, the TXL Rule Debugger", Software Technology Laboratory, Queen's University at Kingston, April 1995 (14 pp).
J.R. Cordy and R. Halliday, "Guide to TXL Built-in and Predefined External Functions", Software Technology Laboratory, Queen's University at Kingston, April 1995 (30 pp).
T.R. Dean and J.R. Cordy, "Modelling Software Systems Using a Typed Architectural Language", Technical Report 94-369, Department of Computing and Information Science, Queen's University at Kingston, August 1994 (23 pp).
J.R. Cordy and I.H. Carmichael, "The Programming Language TXL : Syntax and Informal Semantics, Version 7", Technical Report 93-355, Department of Computing and Info. Science, Queen's University at Kingston, July 1993 (34 pp).
J.R. Cordy, "Language Issues in User Interface Specification", Proc. IFIP WG2.4 African Autumn School, Stream A2 : Multimedia and User Interfaces, University of Pretoria, South Africa, March 1993, pp. 65-100.
I.H. Carmichael and J.R. Cordy, "TXL - The Tree Transformation Language : Syntax and Informal Semantics", Department of Computing and Information Science, Queen's University at Kingston, April 1991 (22 pp).
J.R. Cordy, "User's Guide to TXL - The Tree Transformation Language", Department of Computing and Information Science, Queen's University at Kingston, April 1991 (22 pp).
J.R. Cordy, User's Guide to EPE: The Turing Educational Programming Environment, Computer Systems Research Institute, University of Toronto, for the Ontario Ministry of Education, June 1987 (171 pp).
R.C. Holt and J.R. Cordy, "The Turing Plus Report," Computer Systems Research Institute, University of Toronto, Mar 1985, rev. Sep 1987.
J.R. Cordy and R.C. Holt, "Euclid Version 2 Language Specification", Thompson Foss Inc., Department of National Defence, Ottawa, Sept. 1984 (47 pp).
R.C. Holt and J.R. Cordy, "The Turing Language Report", Technical Report CSRI-153, Computer Systems Research Institute, University of Toronto,Dec. 1983, revised August 1986.
J.R. Cordy and R.C. Holt, "Turing: A New General Purpose Language under UNIX", Proc. 1983 International UNIX User's Meeting, Toronto, July 1983.
R.C. Holt, J.R. Cordy, B.A. Spinney and C.R. Lewis, "Concurrent Euclid: Comparison with C and Pascal", Proc. DECUS Canada 1981 Symposium, Ottawa, May 1981.
J.R. Cordy, R.C. Holt and D.B. Wortman, "A Production Compiler for Euclid", Proc. DECUS Canada 1980 Symposium, Toronto,February 1980.
J.R. Cordy and R.C. Holt, "Specification of Concurrent Euclid", Technical Reports CSRI-115 and CSRI-133, Computer Systems Research Institute, University of Toronto, July 1980, revised August 1981.
J.R. Cordy, "Euclid: The Language of Secure Systems", Proc. 1979 International UNIX User's Meeting, Toronto, July 1979.
Last updated 10 February 2003