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, Kluwer and so on) - see the publishers' websites for copyright restrictions and definitive published versions.
2006
J.S. Bradbury, J.R. Cordy and J. Dingel, "Mutation Operators for Concurrent Java (J2SE 5.0)", Proc. Mutation 2006, 2nd Workshop on Mutation Analysis, Raleigh, North Carolina, November 2006, 10 pp. (to appear)J.S. Bradbury, J.R. Cordy and J. Dingel, "ExMAn : A Generic and Customizable Framework for Experimental Mutation Analysis", Proc. Mutation 2006, 2nd Workshop on Mutation Analysis, Raleigh, North Carolina, November 2006, 6 pp. (to appear)
A.Thurston and J.R. Cordy, "A Backtracking LR Algorithm for Parsing Ambiguous Context-Dependent Languages", Proc. CASCON'06, 16th IBM Centre for Advanced Studies International Conference on Computer Science and Software Engineering, Toronto, October 2006, 15 pp. (to appear)
E. Dancy and J.R. Cordy, "STAC: Software Tuning Panels For Autonomic Control", Proc. CASCON'06, 16th IBM Centre for Advanced Studies International Conference on Computer Science and Software Engineering, Toronto, October 2006, 15 pp. (to appear)
H. Zhang, J.S. Bradbury, J.R. Cordy and J. Dingel, "Using Source Transformation to Test and Model Check Implicit-Invocation Systems", Science of Computer Programming 62,3 (October 2006), pp. 209-227.
C.K. Roy, T. Noll, B. Roy and J.R. Cordy, "Towards Automatic Verification of Erlang Programs by π-Calculus Translation", Proc. Erlang'06, ACM SIGPLAN 5th Erlang Workshop, Portland, September 2006, pp. 38-50.
J.R. Cordy, H.C. Gall and J.I. Maletic (as guest editors), "Introduction to the Special Issue on Program Comprehension", Software Quality Journal 14,3 (September 2006), pp. 185-186.
A.Thurston and J.R. Cordy, "Evolving TXL", Proc. SCAM 2006 - IEEE 6th International Workshop on Source Code Analysis and Manipulation, Philadelphia, September 2006, 10 pp. (to appear).
J.R. Cordy, "The TXL Source Transformation Language", Science of Computer Programming 61,3 (August 2006), pp. 190-210.
D.Jin and J.R. Cordy, "Integrating Reverse Engineering Tools Using a Service-Sharing Methodology", Proc. ICPC 2006, 14th International Conference on Program Comprehension, Athens, Greece, June 2006, pp. 94-99.
D. Shimozawa and J.R. Cordy, "TETE: A Non-Invasive Unit Testing Framework for Source Transformation", Post-proc. STEP 2005: 12th International Workshop on Software Technology and Engineering Practice, Budapest, September 2005, pp. 137-146.
D.Jin and J.R. Cordy, "A Service-Sharing Methodology for Integrating COTS-Based Software Systems", Proc. ICCBSS 2006, IEEE 5th International Conference on COTS-Based Software Systems, Orlando, Florida, February 2006, pp. 177-186.
J.R. Cordy, "Source Transformation, Analysis and Generation in TXL", Proc. PEPM'06, ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation, Charleston, South Carolina, January 2006, pp. 1-11 (Keynote paper).
2005
N. Kiyavitskaya, N. Zeni, J.R. Cordy, L. Mich and J. Mylopoulos, "Semi-Automatic Semantic Annotations for Web Documents", Proc. SWAP 2005, 2nd Italian Semantic Web Workshop, Trento, Italy, December 2005, CEUR Workshop Proceedings ISSN 1613-0073, ch.14 (15 pp.)L. Wang, J.R. Cordy and T.R. Dean, "Enhancing Security Using Legality Assertions", Proc. WCRE 2005 - IEEE 12th International Working Conference on Reverse Engineering, Pittsburgh, November 2005, pp. 35-44.
H. Zhang, J.S. Bradbury, J.R. Cordy and J. Dingel, "Implementation and Verification of Implicit-Invocation Systems Using Source Transformation", Proc. SCAM 2005 - IEEE 5th International Workshop on Source Code Analysis and Manipulation, Budapest, September 2005, pp. 87-96.
D. Jin and J.R. Cordy, "Ontology-Based Software Analysis and Reengineering Tool Integration: The OASIS Service-Sharing Methodology", Proc. ICSM 2005, IEEE 21st International Conference on Software Maintenance, Budapest, September 2005, pp. 613-616.
J.S. Bradbury, J.R. Cordy and J. Dingel, "An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis", Proc. PASTE 2005 ACM SIGPLAN-SIGSOFT 5th Workshop on Program Analysis for Software Tools and Engineering, Lisbon, Portugal, September 2005, pp. 1-4.
N. Kiyavitskaya, N. Zeni, J.R. Cordy, L. Mich and J. Mylopoulos, "Applying Software Analysis Technology to Lightweight Semantic Markup of Document Text", Proc. ICAPR 2005, 3rd International Conference on Advances in Pattern Recognition, Bath, U.K., August 2005, Lecture Notes in Computer Science 3686, pp. 590-600.
R. Zanibbi, D. Blostein and J.R. Cordy, "Recognition Tasks are Imitation Games", Proc. ICAPR 2005, 3rd International Conference on Advances in Pattern Recognition, Bath, U.K., August 2005, Lecture Notes in Computer Science 3686, pp. 209-218.
R. Zanibbi, D. Blostein and J.R. Cordy, "The Recognition Strategy Language", Proc. ICDAR 2005 - IAPR 8th International Conference on Document Analysis and Recognition, Seoul, Korea, August 2005, pp. 565-569.
R. Zanibbi, D. Blostein and J.R. Cordy, "Historical Recall and Precision: Summarizing Generated Hypotheses", Proc. ICDAR 2005 - IAPR 8th International Conference on Document Analysis and Recognition, Seoul, Korea, August 2005, pp. 202-206.
T. Cassidy, J.R. Cordy, T. Dean and J. Dingel, "Source Transformation for Concurrency Analysis", Proc. LDTA 2005, ACM 5th International Workshop on Language Descriptions, Tools and Applications, Edinburgh, Scotland, April 2005, pp. 26-43. Electronic Notes in Theorectical Computer Science 141,4 (December 2005), pp. 57-75.
D. Shimozawa and J.R. Cordy, "TETE: A Source Transformation Environment for Eclipse", Eclipse Research-Industry Technology Exchange, EclipseCon 2005, Burlingame, California, February 2005, 2 pp.
2004
D. Jin and J.R. Cordy, "Factbase Filtering Issues in an Ontology-Based Reverse Engineering Tool Integration System", Proc. ATEM 2004, 2nd International Workshop on Metamodels, Schemas & Grammars for Reverse Engineering, Delft, Netherlands, October 2004, Electronic Notes in Theoretical Computer Science 137,3 (Sept 2005), pp. 65-75.J.S. Bradbury, J.R. Cordy, J. Dingel and M. Wermelinger, "Supporting Self-Management in Dynamic Software Architecture Specifications", Proc. WOSS'04 , 2004 Workshop on Self-Managed Systems, at SIGSOFT 2004 / FSE-12 - ACM SIGSOFT 12th International Symposium on Foundations of Software Engineering, Newport Beach, California, October 2004, pp. 28-33.
J.R. Cordy and M. Shukla Sarkar, "Metaprogam Implementation by Second Order Source Transformation", Proc. STS'04, Software Transformation Systems Workshop, at GPCE'04 - ACM SIGPLAN 3rd International Conference on Generative Programming and Component Engineering, Vancouver, October 2004, pp. 11-12.
J.R. Cordy, T.R. Dean and N. Synytskyy, "Practical Language-Independent Detection of Near-Miss Clones", Proc. CASCON'04, 14th IBM Centre for Advanced Studies Conference, Toronto, October 2004, pp. 29-40 (Best paper award).
R. Zanibbi, D. Blostein and J.R. Cordy, "A Survey of Table Recognition: Models, Observations, Transformations and Inferences", International Journal on Document Analysis and Recognition 7,1 (March 2004), pp. 1-16.
H. Zhang, J. Bradbury, J.R. Cordy and J. Dingel, "A Transformational Framework for Testing and Model Checking Implicit-Invocation Systems", Proc. DEBS'04 - 3rd International Workshop on Distributed Event-Based Systems, Edinburgh, May 2004, pp. 110-115.
J.R. Cordy, "TXL - A Language for Programming Language Tools and Applications", Proc. LDTA 2004, ACM 4th International Workshop on Language Descriptions, Tools and Applications, Barcelona, Spain, April 2004, pp. 1-27. Electronic Notes in Theorectical Computer Science 110 (December 2004), pp. 3-31 (Keynote paper).
A. De Lucia, J.R. Cordy and J. Mylopoulos (as guest editors), "Introduction to the Special Issue on Source Code Analysis and Manipulation", Journal of Automated Software Engineering 11,1 (January 2004), pp. 5-6.
2003
S. Grant and J.R. Cordy, "An Interactive Interface for Refactoring Using Source Transformation", Proc. REFACE'03, 1st International Workshop on Refactoring: Achievements, Challenges, Effects, Victoria, November 2003, pp. 30-33.T.R. Dean, J.R. Cordy, A.J. Malton and K.A. Schneider, "Agile Parsing in TXL", Journal of Automated Software Engineering 10,4 (October 2003), pp. 311-336.
N. Synytskyy, J.R. Cordy and T.R.Dean, "Robust Multilingual Parsing Using Island Grammars", Proc. CASCON 2003, 13th IBM Centres for Advanced Studies Conference, Toronto, October 2003, pp. 149-161.
D. Jin and J.R. Cordy, "A Service Sharing Approach to Integrating Program Comprehension Tools", Proc. European Software Engineering Conference (ESEC) / ACM Symposium on the Foundations of Software Engineering (FSE) 2003 Workshop on Tool Integration in System Development, Helsinki, September 2003, pp. 73-78.
N. Synytskyy, J.R. Cordy and T.R.Dean, "Resolution of Static Clones in Dynamic Web Pages", Proc. WSE 2003, IEEE 5th International Workshop on Web Site Evolution, Amsterdam, September 2003, pp. 49-58.
X. Guo, J.R. Cordy and T.R.Dean, "Unique Renaming of Java Using Source Transformation", Proc. SCAM 2003, IEEE 3rd International Workshop on Source Code Analysis and Manipulation, Amsterdam, September 2003, pp. 151-160.
J.R. Cordy, "Comprehending Reality: Practical Challenges to Software Maintenance Automation", Proc. IWPC 2003, IEEE 11th International Workshop on Program Comprehension, Portland, Oregon, May 2003, pp. 196-206 (Keynote paper).
J.R. Cordy, "Generalized Selective XML Markup of Source Code Using Agile Parsing", Proc. IWPC 2003, IEEE 11th International Workshop on Program Comprehension, Portland, Oregon, May 2003, pp. 144-153.
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, pp. 399-408.
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, pp. 93-102.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), pp. 1455-1467.
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 44,13 (October 2002), pp. 827-837.
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, Vol. 3 pp. 127-130.
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. Zanibbi, 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.R. 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.
N. Kiyavitskaya, N. Zeni, L. Mich, J.R. Cordy and J. Mylopoulos, "Text Mining with Semi-Automatic Semantic Annotation ", submitted to PAKM 2006, 6th International Conference on Practical Aspects of Knowledge Management, Vienna, submitted August 2006, 12 pp.
A. Thurston and J.R. Cordy, "A Backtracking LR Algorithm for Parsing Ambiguous Context-Dependent Languages", Consortium for Software Engineering Research (CSER) Meeting, Victoria (May 2006).D. Shimozawa, J.R. Cordy and A. Thurston, "TETE: Unit Testing for Source Transformation", CASCON 2005, 15th IBM Centres for Advanced Studies Conference, Toronto (October 2005).
L. Dancy and J.R. Cordy, "Software Tuning Panels for Autonomic Control", Consortium for Software Engineering Research (CSER) Meeting, Toronto (October 2005).
A. Thurston and J.R. Cordy, "Evolving TXL", Consortium for Software Engineering Research (CSER) Meeting, Toronto (October 2005).
D. Shimozawa and J.R. Cordy, "A Test-Driven Environment for Source Transformation", STEP 2005 Workshop on Design Issues for Software Analysis and Maintenance Tools, Budapest, Hungary (September 2005).
J.R. Cordy, "Set Theoretic Composition of Source Views: TuringTool and HSML", IWPC 2005 Working Session on Textual Views of Source Code to Support Comprehension, St. Louis, Missouri (May 2005).
J.R. Cordy, "Bridging the Gap: a Source Markup Alternative", Dagstuhl Seminar 05161, Transformation Techniques in Software Engineering, Dagstuhl, Germany (April 2005).
J.R. Cordy, "Agile Parsing", 40th Meeting of IFIP Working Group 2.4 (Software Implementation Technology), Dagstuhl, Germany (November 2002).
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).
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).
J.R. Cordy, "The Year 2000 Problem", 33rd Meeting of IFIP Working Group 2.4 (Software Implementation Technology), Estes Park, Colorado (September 1997).
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).
J.R. Cordy, "Source Transformation, Analysis and Generation in TXL", Keynote Address, PEPM'06, ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation, Charleston, South Carolina, January 2006.J.R. Cordy, "TXL - A Language for Programming Language Tools and Applications", Keynote Address, LDTA 2004, ACM 4th International Workshop on Language Descriptions, Tools and Applications, Barcelona, Spain, April 2004.
J.R. Cordy, "Comprehending Reality: Practical Challenges to Software Maintenance Automation", Keynote Address, IWPC 2003, IEEE 11th International Workshop on Program Comprehension, Portland, Oregon, May 2003.
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, January 1995.
J.R. Cordy, I.H. Carmichael and R. Halliday, The TXL Programming Language, Queen's University, Kingston, 1988, 72 pp. (version 10.4, 2005)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. (4th edition, 2001)
J.R. Cordy, 6.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.
R. Zanibbi, D. Blostein and J.R. Cordy, "Decision-Based Specification and Comparison of Table Recognition Algorithms", Proc. WNYIP 2006, IEEE 2006 Western New York Image Processing Workshop, Rochester, New York, September 2006, 4 pp.J.R. Cordy, R. Lämmel and A. Winter (Eds.), Proc. Dagstuhl Seminar 05161 - Transformation Techniques in Software Engineering, ISSN 1862-4405 (2006-497), January 2006.
J.R. Cordy, R. Lämmel and A. Winter, "Executive Summary - Transfomation Techniques in Software Engineering", Proc. Dagstuhl Seminar 05161 - Transformation Techniques in Software Engineering, ISSN 1862-4405 (2006-497), January 2006, pp.1-24.
J.R. Cordy and J.J.. Vinju, "How to Make a Bridge Between Transformation and Analysis Technologies?", Proc. Dagstuhl Seminar 05161 - Transformation Techniques in Software Engineering, ISSN 1862-4405 (2006-426), January 2006, pp.1-7.
J.R. Cordy, "User's Guide to the TXL Compiler / Interpreter", Queen's University, Kingston, 1991, 24 pp. (Version 10.4, 2005)
J.R. Cordy, "TXL Error Messages - what they mean, and what to do about them", Queen's University, Kingston, 1995, 49 pp. (Version 10.4, 2005)
J.R. Cordy, "Hot Spot Markup Specification Language (HSML) v3.0 Revised Language Specification", Technical Report WP99-202, Legasys Corporation, Kingston, 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, 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, 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, 1997, 22 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, 1993, pp. 65-100.
R.C. Holt and J.R. Cordy, "The Turing Plus Report," Computer Systems Research Institute, University of Toronto, 1985 (revised 1987)
J.R. Cordy and R.C. Holt, "Euclid Version 2 Language Specification", Thompson Foss Inc., Department of National Defence, Ottawa, 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, 1983 (revised 1986).
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, 1980 (revised 1981).
Last updated 22 September 2006