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: "procomet"
  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: "hpcn"
  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"
  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: "JFP"
  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: "JACM"
  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: "ifip11-9"
  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: "conpar"
  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: "SCP"
  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: "ASE"
  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: "conpar"
  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: "hase"
  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: "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: "iwfm"
  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: "hase"
  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: "ifip2-1"
  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"
  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: "TSE"
  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: "informaticaSI"
  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: "informaticaSI"
  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"