publications:
- title: "Automatic, Self-adaptive Control and Unfold Transformations"
  author:
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  year: "1994"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/Boyle94"
  cites: 0
  citedby: 0
  pages: "83-103"
  booktitle: "Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET  94) San Miniato, Italy, 6-10 June, 1994"
  editor:
  - name: "Ernst-Rüdiger Olderog"
    link: "https://researchr.org/alias/ernst-r%C3%BCdiger-olderog"
  volume: "A-56"
  series: "IFIP Transactions"
  publisher: "North-Holland"
  isbn: "0-444-82020-5"
  kind: "inproceedings"
  key: "Boyle94"
- title: "A Family of Data-Parallel Derivations"
  author:
  - name: "Maurice Clint"
    link: "https://researchr.org/alias/maurice-clint"
  - name: "Stephen Fitzpatrick"
    link: "https://researchr.org/alias/stephen-fitzpatrick"
  - name: "Terence J. Harmer"
    link: "https://researchr.org/alias/terence-j.-harmer"
  - name: "Peter Kilpatrick"
    link: "https://researchr.org/alias/peter-kilpatrick"
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  year: "1994"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/ClintFHKB94"
  cites: 0
  citedby: 0
  pages: "457-462"
  booktitle: "High-Performance Computing and Networking, International Conference and Exhibition, HPCN Europe 1994, Munich, Germany, April 18-20, 1994, Proceedings, Volume II: Networking and Tools"
  editor:
  - name: "Wolfgang Gentzsch"
    link: "https://researchr.org/alias/wolfgang-gentzsch"
  - name: "Uwe Harms"
    link: "https://researchr.org/alias/uwe-harms"
  volume: "797"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57981-8"
  kind: "inproceedings"
  key: "ClintFHKB94"
- title: "An Automated Programming System to Facilitate the Development of Quality Mathematical Software"
  author:
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  - name: "Kenneth W. Dritz"
    link: "https://researchr.org/alias/kenneth-w.-dritz"
  year: "1974"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/BoyleD74"
  cites: 0
  citedby: 0
  pages: "542-546"
  booktitle: "IFIP Congress"
  kind: "inproceedings"
  key: "BoyleD74"
- title: "A Practical Functional Program for the CRAY X-MP"
  author:
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  - name: "Terence J. Harmer"
    link: "https://researchr.org/alias/terence-j.-harmer"
  year: "1992"
  tags:
  - "functional programming"
  researchr: "https://researchr.org/publication/BoyleH92"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "2"
  number: "1"
  pages: "81-126"
  kind: "article"
  key: "BoyleH92"
- title: "An Algorithmic Semantics for ALGOL 60 Identifier Denotation"
  author:
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  - name: "Albert A. Grau"
    link: "https://researchr.org/alias/albert-a.-grau"
  year: "1970"
  doi: "http://doi.acm.org/10.1145/321574.321589"
  links:
    doi: "http://doi.acm.org/10.1145/321574.321589"
  tags:
  - "semantics"
  - "denotational semantics"
  researchr: "https://researchr.org/publication/BoyleG70"
  cites: 0
  citedby: 0
  journal: "Journal of the ACM"
  volume: "17"
  number: "2"
  pages: "361-382"
  kind: "article"
  key: "BoyleG70"
- title: "Program Generation and Transformation - Tools for Mathematical Software Development"
  author:
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  - name: "Kenneth W. Dritz"
    link: "https://researchr.org/alias/kenneth-w.-dritz"
  - name: "Oleg B. Arushanian"
    link: "https://researchr.org/alias/oleg-b.-arushanian"
  - name: "Yuri V. Kuchevsky"
    link: "https://researchr.org/alias/yuri-v.-kuchevsky"
  year: "1977"
  tags:
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/BoyleDAK77"
  cites: 0
  citedby: 0
  pages: "303-308"
  booktitle: "IFIP Congress"
  kind: "inproceedings"
  key: "BoyleDAK77"
- title: "Deriving Efficient Parallel Implementations of Algorithms Operating on General Sparse Matrices Using Automatic Program Transformation"
  author:
  - name: "Stephen Fitzpatrick"
    link: "https://researchr.org/alias/stephen-fitzpatrick"
  - name: "Terence J. Harmer"
    link: "https://researchr.org/alias/terence-j.-harmer"
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  year: "1994"
  tags:
  - "parallel programming"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/FitzpatrickHB94"
  cites: 0
  citedby: 0
  pages: "148-159"
  booktitle: "Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings"
  editor:
  - name: "Bruno Buchberger"
    link: "https://researchr.org/alias/bruno-buchberger"
  - name: "Jens Volkert"
    link: "https://researchr.org/alias/jens-volkert"
  volume: "854"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58430-7"
  kind: "inproceedings"
  key: "FitzpatrickHB94"
- title: "The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations"
  author:
  - name: "Stephen Fitzpatrick"
    link: "https://researchr.org/alias/stephen-fitzpatrick"
  - name: "Terence J. Harmer"
    link: "https://researchr.org/alias/terence-j.-harmer"
  - name: "Alan Stewart"
    link: "https://researchr.org/alias/alan-stewart"
  - name: "Maurice Clint"
    link: "https://researchr.org/alias/maurice-clint"
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  year: "1997"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/FitzpatrickHSCB97"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "28"
  number: "1"
  pages: "1-41"
  kind: "article"
  key: "FitzpatrickHSCB97"
- title: "Transformations to Restructure and Re-engineer COBOL Programs"
  author:
  - name: "Terence J. Harmer"
    link: "https://researchr.org/alias/terence-j.-harmer"
  - name: "Patrick J. McParland"
    link: "https://researchr.org/alias/patrick-j.-mcparland"
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  year: "1998"
  tags:
  - "Cobol"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/HarmerMB98"
  cites: 0
  citedby: 0
  journal: "Automated Software Engineering"
  volume: "5"
  number: "3"
  pages: "321-345"
  kind: "article"
  key: "HarmerMB98"
- title: "The Construction of Numerical Mathematical Software for the AMT DAP by Program Transformation"
  author:
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  - name: "Maurice Clint"
    link: "https://researchr.org/alias/maurice-clint"
  - name: "Stephen Fitzpatrick"
    link: "https://researchr.org/alias/stephen-fitzpatrick"
  - name: "Terence J. Harmer"
    link: "https://researchr.org/alias/terence-j.-harmer"
  year: "1992"
  tags:
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/BoyleCFH92"
  cites: 0
  citedby: 0
  pages: "761-767"
  booktitle: "Parallel Processing: CONPAR 92 - VAPP V, Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992, Proceedings"
  editor:
  - name: "Luc Bougé"
    link: "https://researchr.org/alias/luc-boug%C3%A9"
  - name: "Michel Cosnard"
    link: "https://researchr.org/alias/michel-cosnard"
  - name: "Yves Robert"
    link: "https://researchr.org/alias/yves-robert"
  - name: "Denis Trystram"
    link: "https://researchr.org/alias/denis-trystram"
  volume: "634"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55895-0"
  kind: "inproceedings"
  key: "BoyleCFH92"
- title: "Proving refinement transformations for deriving high-assurance software"
  author:
  - name: "Victor L. Winter"
    link: "http://faculty.ist.unomaha.edu/winter/"
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  year: "1996"
  doi: "http://computer.org/proceedings/hase/7629/76290068abs.htm"
  links:
    doi: "http://computer.org/proceedings/hase/7629/76290068abs.htm"
  tags:
  - "refinement"
  - "transformation"
  researchr: "https://researchr.org/publication/WinterB96"
  cites: 0
  citedby: 0
  pages: "68-77"
  booktitle: "1st High-Assurance Systems Engineering Workshop (HASE  96), October 22, 1996, Niagara, Canada, Proceedings"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "WinterB96"
- title: "Do You Trust Your Compiler?"
  author:
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  - name: "R. Daniel Resler"
    link: "https://researchr.org/alias/r.-daniel-resler"
  - name: "Victor L. Winter"
    link: "http://faculty.ist.unomaha.edu/winter/"
  year: "1999"
  tags:
  - "compiler"
  researchr: "https://researchr.org/publication/BoyleRW99"
  cites: 0
  citedby: 0
  journal: "IEEE Computer"
  volume: "32"
  number: "5"
  pages: "65-73"
  kind: "article"
  key: "BoyleRW99"
- title: "Applications of the TAMPR Transformation System"
  author:
  - name: "Terence J. Harmer"
    link: "https://researchr.org/alias/terence-j.-harmer"
  - name: "Patrick J. McParland"
    link: "https://researchr.org/alias/patrick-j.-mcparland"
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  year: "1998"
  tags:
  - "transformation system"
  - "transformation"
  researchr: "https://researchr.org/publication/HarmerMB98%3A0"
  cites: 0
  citedby: 0
  booktitle: "2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998"
  editor:
  - name: "Sharon Flynn"
    link: "https://researchr.org/alias/sharon-flynn"
  - name: "Andrew Butterfield"
    link: "https://researchr.org/alias/andrew-butterfield"
  series: "Workshops in Computing"
  publisher: "BCS"
  kind: "inproceedings"
  key: "HarmerMB98:0"
- title: "Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers"
  author:
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  - name: "R. Daniel Resler"
    link: "https://researchr.org/alias/r.-daniel-resler"
  - name: "Victor L. Winter"
    link: "http://faculty.ist.unomaha.edu/winter/"
  year: "1997"
  doi: "http://computer.org/proceedings/hase/7971/79710014abs.htm"
  links:
    doi: "http://computer.org/proceedings/hase/7971/79710014abs.htm"
  tags:
  - "compiler"
  researchr: "https://researchr.org/publication/BoyleRW97"
  cites: 0
  citedby: 0
  pages: "14"
  booktitle: "2nd High-Assurance Systems Engineering Workshop (HASE  97), August 11-12, 1997, Washington, DC, USA, Proceedings"
  publisher: "IEEE Computer Society"
  isbn: "0-8186-7971-9"
  kind: "inproceedings"
  key: "BoyleRW97"
- title: "Practical Transformation of Functional Programs for Efficient Execution: A Case Study"
  author:
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  - name: "Terence J. Harmer"
    link: "https://researchr.org/alias/terence-j.-harmer"
  year: "1993"
  tags:
  - "case study"
  - "functional programming"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/BoyleH93"
  cites: 0
  citedby: 0
  pages: "62-88"
  booktitle: "Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report"
  editor:
  - name: "Bernhard Möller"
    link: "https://researchr.org/alias/bernhard-m%C3%B6ller"
  - name: "Helmuth Partsch"
    link: "https://researchr.org/alias/helmuth-partsch"
  - name: "Stephen A. Schuman"
    link: "https://researchr.org/alias/stephen-a.-schuman"
  volume: "755"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57499-9"
  kind: "inproceedings"
  key: "BoyleH93"
- title: "Mathematical Software Transportability Systems - Have the Variations a Theme?"
  author:
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  year: "1976"
  researchr: "https://researchr.org/publication/Boyle76%3A0"
  cites: 0
  citedby: 0
  pages: "305-360"
  booktitle: "Portability of Numerical Software, Workshop, Oak Brook, Illinois, USA, June 21-23, 1976"
  editor:
  - name: "Wayne R. Cowell"
    link: "https://researchr.org/alias/wayne-r.-cowell"
  volume: "57"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-08446-0"
  kind: "inproceedings"
  key: "Boyle76:0"
- title: "Program Reusability through Program Transformation"
  author:
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  - name: "Monagur N. Muralidharan"
    link: "https://researchr.org/alias/monagur-n.-muralidharan"
  year: "1984"
  tags:
  - "reuse"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/BoyleM84"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "10"
  number: "5"
  pages: "574-588"
  kind: "article"
  key: "BoyleM84"
- title: "A Program-Algebraic Approach to Eliminating Common Subexpressions"
  author:
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  - name: "R. Daniel Resler"
    link: "https://researchr.org/alias/r.-daniel-resler"
  year: "2000"
  tags:
  - " algebra"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/BoyleR00"
  cites: 0
  citedby: 0
  journal: "Informatica (Slovenia)"
  volume: "24"
  number: "3"
  kind: "article"
  key: "BoyleR00"
- title: "Brewing Fresh JAVA from Legacy Lisp - An Experiment in Automated Reverse Engineering"
  author:
  - name: "Terence J. Harmer"
    link: "https://researchr.org/alias/terence-j.-harmer"
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  year: "1998"
  doi: "http://dlib.computer.org/conferen/ase/8750/pdf/87500318.pdf"
  links:
    doi: "http://dlib.computer.org/conferen/ase/8750/pdf/87500318.pdf"
  tags:
  - "Java"
  - "reverse engineering"
  researchr: "https://researchr.org/publication/HarmerB98"
  cites: 0
  citedby: 0
  pages: "318-332"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "HarmerB98"
- title: "Matrix Eigensystem Routines - EISPACK Guide Extension"
  author:
  - name: "Burton S. Garbow"
    link: "https://researchr.org/alias/burton-s.-garbow"
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  - name: "Jack Dongarra"
    link: "https://researchr.org/alias/jack-dongarra"
  - name: "Cleve B. Moler"
    link: "https://researchr.org/alias/cleve-b.-moler"
  year: "1977"
  researchr: "https://researchr.org/publication/GarbowBDM77"
  cites: 0
  citedby: 0
  volume: "51"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-08254-9"
  kind: "book"
  key: "GarbowBDM77"
- title: "Register allocation: A program-algebraic approach"
  author:
  - name: "R. Daniel Resler"
    link: "https://researchr.org/alias/r.-daniel-resler"
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  year: "2001"
  tags:
  - " algebra"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/ReslerB01"
  cites: 0
  citedby: 0
  journal: "Informatica (Slovenia)"
  volume: "25"
  number: "2"
  kind: "article"
  key: "ReslerB01"
- title: "Matrix Eigensystem Routines - EISPACK Guide, Second Edition"
  author:
  - name: "Brian T. Smith"
    link: "https://researchr.org/alias/brian-t.-smith"
  - name: "James M. Boyle"
    link: "http://portal.acm.org/author_page.cfm?id=81100205555&coll=GUIDE&dl=GUIDE&trk=0&CFID=62455845&CFTOKEN=17008970"
  - name: "Jack Dongarra"
    link: "https://researchr.org/alias/jack-dongarra"
  - name: "Burton S. Garbow"
    link: "https://researchr.org/alias/burton-s.-garbow"
  - name: "Yasuhiko Ikebe"
    link: "https://researchr.org/alias/yasuhiko-ikebe"
  - name: "Virginia C. Klema"
    link: "https://researchr.org/alias/virginia-c.-klema"
  - name: "Cleve B. Moler"
    link: "https://researchr.org/alias/cleve-b.-moler"
  year: "1976"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/SmithB76"
  cites: 0
  citedby: 0
  volume: "6"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-07546-1"
  kind: "book"
  key: "SmithB76"