@inproceedings{Boyle94,
  title = {Automatic, Self-adaptive Control and Unfold Transformations},
  author = {James M. Boyle},
  year = {1994},
  tags = {transformation},
  researchr = {https://researchr.org/publication/Boyle94},
  cites = {0},
  citedby = {0},
  pages = {83-103},
  booktitle = {procomet},
}

@inproceedings{ClintFHKB94,
  title = {A Family of Data-Parallel Derivations},
  author = {Maurice Clint and Stephen Fitzpatrick and Terence J. Harmer and Peter Kilpatrick and James M. Boyle},
  year = {1994},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/ClintFHKB94},
  cites = {0},
  citedby = {0},
  pages = {457-462},
  booktitle = {hpcn},
}

@inproceedings{BoyleD74,
  title = {An Automated Programming System to Facilitate the Development of Quality Mathematical Software},
  author = {James M. Boyle and Kenneth W. Dritz},
  year = {1974},
  tags = {programming},
  researchr = {https://researchr.org/publication/BoyleD74},
  cites = {0},
  citedby = {0},
  pages = {542-546},
  booktitle = {ifip},
}

@article{BoyleH92,
  title = {A Practical Functional Program for the CRAY X-MP},
  author = {James M. Boyle and 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},
}

@article{BoyleG70,
  title = {An Algorithmic Semantics for ALGOL 60 Identifier Denotation},
  author = {James M. Boyle and Albert A. Grau},
  year = {1970},
  doi = {10.1145/321574.321589},
  url = {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},
}

@inproceedings{BoyleDAK77,
  title = {Program Generation and Transformation - Tools for Mathematical Software Development},
  author = {James M. Boyle and Kenneth W. Dritz and Oleg B. Arushanian and 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},
}

@inproceedings{FitzpatrickHB94,
  title = {Deriving Efficient Parallel Implementations of Algorithms Operating on General Sparse Matrices Using Automatic Program Transformation},
  author = {Stephen Fitzpatrick and Terence J. Harmer and James M. Boyle},
  year = {1994},
  tags = {parallel programming, transformation, program transformation},
  researchr = {https://researchr.org/publication/FitzpatrickHB94},
  cites = {0},
  citedby = {0},
  pages = {148-159},
  booktitle = {conpar},
}

@article{FitzpatrickHSCB97,
  title = {The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations},
  author = {Stephen Fitzpatrick and Terence J. Harmer and Alan Stewart and Maurice Clint and James M. Boyle},
  year = {1997},
  tags = {transformation},
  researchr = {https://researchr.org/publication/FitzpatrickHSCB97},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {28},
  number = {1},
  pages = {1-41},
}

@article{HarmerMB98,
  title = {Transformations to Restructure and Re-engineer COBOL Programs},
  author = {Terence J. Harmer and Patrick J. McParland and James M. Boyle},
  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},
}

@inproceedings{BoyleCFH92,
  title = {The Construction of Numerical Mathematical Software for the AMT DAP by Program Transformation},
  author = {James M. Boyle and Maurice Clint and Stephen Fitzpatrick and Terence J. Harmer},
  year = {1992},
  tags = {transformation, program transformation},
  researchr = {https://researchr.org/publication/BoyleCFH92},
  cites = {0},
  citedby = {0},
  pages = {761-767},
  booktitle = {conpar},
}

@inproceedings{WinterB96,
  title = {Proving refinement transformations for deriving high-assurance software},
  author = {Victor L. Winter and James M. Boyle},
  year = {1996},
  url = {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},
}

@article{BoyleRW99,
  title = {Do You Trust Your Compiler?},
  author = {James M. Boyle and R. Daniel Resler and Victor L. Winter},
  year = {1999},
  tags = {compiler},
  researchr = {https://researchr.org/publication/BoyleRW99},
  cites = {0},
  citedby = {0},
  journal = {Computer},
  volume = {32},
  number = {5},
  pages = {65-73},
}

@inproceedings{HarmerMB98:0,
  title = {Applications of the TAMPR Transformation System},
  author = {Terence J. Harmer and Patrick J. McParland and James M. Boyle},
  year = {1998},
  tags = {transformation system, transformation},
  researchr = {https://researchr.org/publication/HarmerMB98%3A0},
  cites = {0},
  citedby = {0},
  booktitle = {iwfm},
}

@inproceedings{BoyleRW97,
  title = {Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers},
  author = {James M. Boyle and R. Daniel Resler and Victor L. Winter},
  year = {1997},
  url = {http://computer.org/proceedings/hase/7971/79710014abs.htm},
  tags = {compiler},
  researchr = {https://researchr.org/publication/BoyleRW97},
  cites = {0},
  citedby = {0},
  pages = {14},
  booktitle = {hase},
}

@inproceedings{BoyleH93,
  title = {Practical Transformation of Functional Programs for Efficient Execution: A Case Study},
  author = {James M. Boyle and 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},
}

@inproceedings{Boyle76:0,
  title = {Mathematical Software Transportability Systems - Have the Variations a Theme?},
  author = {James M. Boyle},
  year = {1976},
  researchr = {https://researchr.org/publication/Boyle76%3A0},
  cites = {0},
  citedby = {0},
  pages = {305-360},
  booktitle = {portability},
}

@article{BoyleM84,
  title = {Program Reusability through Program Transformation},
  author = {James M. Boyle and 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},
}

@article{BoyleR00,
  title = {A Program-Algebraic Approach to Eliminating Common Subexpressions},
  author = {James M. Boyle and 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},
}

@inproceedings{HarmerB98,
  title = {Brewing Fresh JAVA from Legacy Lisp - An Experiment in Automated Reverse Engineering},
  author = {Terence J. Harmer and James M. Boyle},
  year = {1998},
  url = {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},
}

@book{GarbowBDM77,
  title = {Matrix Eigensystem Routines - EISPACK Guide Extension},
  author = {Burton S. Garbow and James M. Boyle and Jack Dongarra and 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},
}

@article{ReslerB01,
  title = {Register allocation: A program-algebraic approach},
  author = {R. Daniel Resler and James M. Boyle},
  year = {2001},
  tags = { algebra, systematic-approach},
  researchr = {https://researchr.org/publication/ReslerB01},
  cites = {0},
  citedby = {0},
  journal = {informaticaSI},
  volume = {25},
  number = {2},
}

@book{SmithB76,
  title = {Matrix Eigensystem Routines - EISPACK Guide, Second Edition},
  author = {Brian T. Smith and James M. Boyle and Jack Dongarra and Burton S. Garbow and Yasuhiko Ikebe and Virginia C. Klema and 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},
}