James Cordy

James Cordy
Født2. januar 1950Rediger på Wikidata (70 år)
Utdannet ved University of TorontoRediger på Wikidata
Doktorgrads-
veileder
Richard C. HoltRediger på Wikidata
Beskjeftigelse Ingeniør, informatikerRediger på Wikidata

James Reginald Cordy (født 2. januar 1950) er en canadisk informatiker og underviser som er professor ved School of Computing ved Queen's University i Kingston, Ontario, Canada. Som forsker er han for tiden aktiv innenfor kildekodeanalyse og manipulasjon, programvare reverse engineering og re-engineering og analyser av mønstre og maskinintelligens. Han har en lang fartstid innenfor programmeringsspråk, kompilatorteknikk og programvarearkitektur.

Cordy er best kjent for sitt arbeide på kildetransformasjonsspråket TXL,[1] et parserbasert rammeverk og et funksjonelt programmeringsspråk som ble konstruert for å støtte programvareanalyse og transformasjonsoppgaver..[2] TXL ble opprinnelig utviklet sammen med M.Sc.-studenten Charles Halpern-Hamu i 1985 som et verktøy for å eksperimentere med konstruksjon av programmeringsspråk. Hans arbeide på NICAD klone-detektoren[3] sammen med Ph.D.-studenten Chanchal Roy, Recognition Strategy Language[4] sammen med Ph.D. studenten Richard Zanibbi og Dorothea Blostein, og det naturlige lettvektsspråket Cerno[5] sammen med John Mylopoulos og andre ved University of Trento er basert på TXL.

Den vitenskapelige rapporten A Syntactic Theory of Software Architecture[6] som han skrev i 1995 sammen med Ph.D.-studenten Thomas R. Dean, har blitt flittig sitert på området, og førte til hans arbeid sammen med Thomas R. Dean, Kevin A. Schneider og Andrew J. Malton om analyser av eldre systemer.[7]

Arbeid med programmeringsspråk inkluderer Concurrent Euclid[8] (1980) og Turing (1983),[9][10] sammen med R.C. Holt, og implementasjonen av Euclid[11] (1978) og SP/k[12] (1974), sammen med R.C. Holt, D.B. Wortman, D.T. Barnard og andre. Som en del av disse prosjektene utviklet han kompilatorteknikken til S/SL[13] sammen med R.C. Holt og D.B. Wortman[14] og den ortogonale kodegenerator-metode basert på hans Ph.D.-verk.[15]

Han har vært medforfatter av bøkene The Turing Programming Language: Design and Definition[16] (1988), Introduction to Compiler Construction Using S/SL[17] (1986), The Smart Internet[18] (2010) og The Personal Web[19] (2013).

Fra 2002 til 2007 var han direktør ved Queen's School of Computing. I 2008 ble han valgt som utmerket vitenskapsmann i Association for Computing Machinery.[20]

ReferanserRediger

  1. ^ J.R. Cordy, "The TXL Source Transformation Language", Science of Computer Programming 61,3 (August 2006), pp. 190-210
  2. ^ 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
  3. ^ C.K. Roy and J.R. Cordy, NICAD: Accurate Detection of Near-miss Clones Using Flexible Pretty-printing and Code Normalization, Proc. ICPC 2008, IEEE International Conference on Program Comprehension, Amsterdam, June 2008, pp. 172-181
  4. ^ R. Zanibbi, D. Blostein and J.R. Cordy, "The Recognition Strategy Language", Proc. ICDAR 2005 - IAPR 8th Intl. Conf. on Document Analysis and Recognition, Seoul, Korea, August 2005, pp. 565-569
  5. ^ N. Kiyavitskaya, N. Zeni, J.R. Cordy ,L. Mich and J. Mylopoulos, Cerno: Light-Weight Tool Support for Semantic Annotation of Textual Documents, Data & Knowledge Engineering 68,12 (Dec. 2009), pp. 1470-1492
  6. ^ T.R. Dean and J.R. Cordy, "A Syntactic Theory of Software Architecture", IEEE Transactions on Software Engineering 21,4 (January 1995), pp. 302-313.
  7. ^ 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, Nov. 2001, pp. 622-631
  8. ^ J.R. Cordy and R.C. Holt, The Concurrent Euclid Report, Technical Reports CSRI-115 and CSRI-133, Computer Systems Research Institute, University of Toronto, July 1980
  9. ^ R.C. Holt and J.R. Cordy, "The Turing Language Report”, Technical Report CSRI-153, Computer Systems Research Institute, University of Toronto, December 1983
  10. ^ 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
  11. ^ D.B. Wortman and J.R. Cordy, Early Experiences with Euclid, Proc. ICSE-5, IEEE 5th International Conference on Software Engineering, San Diego, March 1981, pp. 27-32
  12. ^ R.C. Holt, D.B. Wortman, D.T. Barnard and J.R. Cordy, "SP/k: A System for Teaching Computer Programming”, Comm. of the Association for Computing Machinery 20,5 (May 1977), pp. 301-309.
  13. ^ 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
  14. ^ J.R. Cordy, R.C. Holt and D.B. Wortman, Semantic Charts: A Diagrammatic Approach to Semantic Processing, Proc. ACM 1979 SIGPLAN Symposium on Compiler Construction, ACM SIGPLAN Notices Vol. 14, No. 8, August 1979, pp. 39-49
  15. ^ J.R. Cordy and R.C. Holt, "Code Generation Using an Orthogonal Model”, Software-Practice and Experience 20,3 (March 1990), pp. 301-320
  16. ^ R.C. Holt, P.A. Matthews, J.A. Rosselet and J.R. Cordy, The Turing Programming Language: Design and Definition, Prentice-Hall, 1988
  17. ^ J.R. Cordy, Introduction to Compiler Construction Using S/SL : the Syntax/Semantic Language, Queen's University, 1986, (5th edition, August 2006)
  18. ^ M. Chignell, J.R. Cordy, J. Ng and Y. Yesha (eds.), The Smart Internet: Current Research and Future Applications, Lecture Notes in Computer Science 6400, Springer Verlag, 2010
  19. ^ M. Chignell, J.R. Cordy, R.Kealey, J. Ng and Y. Yesha (eds.), The Personal Web: A Research Agenda, Lecture Notes in Computer Science 7855, Springer Verlag, 2013
  20. ^ «Arkivert kopi». Arkivert fra originalen 2. april 2012. Besøkt 31. mars 2011. 

Eksterne lenkerRediger