James Cordy
Encyclopedia
James Reginald Cordy, born January 02, 1950, is a Canadian
computer scientist
and educator who is a Professor in the School of Computing
at Queen's University
. As a researcher he is currently active in the fields of source code analysis and manipulation, software reverse and re-engineering, and pattern analysis and machine intelligence. He has a long record of previous work in programming languages, compiler technology, and software architecture.
He is currently best known for his work on the TXL
source transformation language , a parser-based framework and functional programming language designed to support software analysis and transformation tasks originally developed with M.Sc. student Charles Halpern-Hamu in 1985 as a tool for experimenting with programming language design. His recent work on the NiCad clone detector with Ph.D. student Chanchal Roy, the Recognition Strategy Language with Ph.D. student Richard Zanibbi and Dorothea Blostein, and the Cerno lightweight natural language understanding system with John Mylopoulos and others at the University of Trento
is based on TXL.
The 1995 paper A Syntactic Theory of Software Architecture with Ph.D. student Thomas R. Dean has been widely cited as a seminal work in the area, and led to his work with Thomas R. Dean, Kevin A. Schneider and Andrew J. Malton on legacy systems analysis.
Work in programming languages included the design of Concurrent Euclid (1980) and Turing (1983), with R.C. Holt
, and the implementation of the Euclid (1978) and SP/k
(1974) languages with R.C. Holt
, D.B. Wortman, D.T. Barnard and others. As part of these projects he developed the S/SL
compiler technology with R.C. Holt
and D.B. Wortman based on his M.Sc. thesis work and the orthogonal code generation method based on his Ph.D. thesis work.
He has co-authored or co-edited the books The Turing Programming Language: Design and Definition (1988), Introduction to Compiler Construction Using S/SL (1986), and The Smart Internet (2010).
From 2002 to 2007 he was the Director of the Queen's School of Computing
. In 2008 he was elected a Distinguished Scientist of the Association for Computing Machinery
.
Canada
Canada is a North American country consisting of ten provinces and three territories. Located in the northern part of the continent, it extends from the Atlantic Ocean in the east to the Pacific Ocean in the west, and northward into the Arctic Ocean...
computer scientist
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
and educator who is a Professor in the School of Computing
Queen's School of Computing
The Queen's School of Computing is a unit of the Faculty of Arts and Sciences at Queen's University responsible for research, as well as undergraduate and graduate education in computing and technology....
at Queen's University
Queen's University
Queen's University, , is a public research university located in Kingston, Ontario, Canada. Founded on 16 October 1841, the university pre-dates the founding of Canada by 26 years. Queen's holds more more than of land throughout Ontario as well as Herstmonceux Castle in East Sussex, England...
. As a researcher he is currently active in the fields of source code analysis and manipulation, software reverse and re-engineering, and pattern analysis and machine intelligence. He has a long record of previous work in programming languages, compiler technology, and software architecture.
He is currently best known for his work on the TXL
TXL (programming language)
TXL is a special-purpose programming language originally designed by Charles Halpern-Hamu and James Cordy at the University of Toronto in 1985. The acronym "TXL" originally stood for "Turing eXtender Language" after the language's original purpose, the specification and rapid prototyping of...
source transformation language , a parser-based framework and functional programming language designed to support software analysis and transformation tasks originally developed with M.Sc. student Charles Halpern-Hamu in 1985 as a tool for experimenting with programming language design. His recent work on the NiCad clone detector with Ph.D. student Chanchal Roy, the Recognition Strategy Language with Ph.D. student Richard Zanibbi and Dorothea Blostein, and the Cerno lightweight natural language understanding system with John Mylopoulos and others at the University of Trento
University of Trento
The University of Trento is an Italian university located in the cities of Trento and Rovereto. It has been able to achieve considerable results in didactics, research and international relations, as shown by Censis University Guide and by the Italian Ministry of...
is based on TXL.
The 1995 paper A Syntactic Theory of Software Architecture with Ph.D. student Thomas R. Dean has been widely cited as a seminal work in the area, and led to his work with Thomas R. Dean, Kevin A. Schneider and Andrew J. Malton on legacy systems analysis.
Work in programming languages included the design of Concurrent Euclid (1980) and Turing (1983), with R.C. Holt
Ric Holt
Richard C. "Ric" Holt is a computer science professor.Ric Holt was one of the original developers of the Turing programming language, , Euclid programming language, SP/k, and of the S/SL programming language...
, and the implementation of the Euclid (1978) and SP/k
SP/k
SP/k is a programming language developed circa 1974 by R.C. Holt, D.B. Wortman, D.T. Barnard and J.R. Cordy as a subset of the PL/I programming language designed for teaching programming...
(1974) languages with R.C. Holt
Ric Holt
Richard C. "Ric" Holt is a computer science professor.Ric Holt was one of the original developers of the Turing programming language, , Euclid programming language, SP/k, and of the S/SL programming language...
, D.B. Wortman, D.T. Barnard and others. As part of these projects he developed the S/SL
S/SL programming language
The Syntax/Semantic Language is an executable high level specification language for recursive descent parsers, semantic analyzers and code generators developed by James Cordy, Ric Holt and David Wortman at the University of Toronto in 1980....
compiler technology with R.C. Holt
Ric Holt
Richard C. "Ric" Holt is a computer science professor.Ric Holt was one of the original developers of the Turing programming language, , Euclid programming language, SP/k, and of the S/SL programming language...
and D.B. Wortman based on his M.Sc. thesis work and the orthogonal code generation method based on his Ph.D. thesis work.
He has co-authored or co-edited the books The Turing Programming Language: Design and Definition (1988), Introduction to Compiler Construction Using S/SL (1986), and The Smart Internet (2010).
From 2002 to 2007 he was the Director of the Queen's School of Computing
Queen's School of Computing
The Queen's School of Computing is a unit of the Faculty of Arts and Sciences at Queen's University responsible for research, as well as undergraduate and graduate education in computing and technology....
. In 2008 he was elected a Distinguished Scientist of the Association for Computing Machinery
Association for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
.