@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 = {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 = {Ernst-Rüdiger Olderog},
  volume = {A-56},
  series = {IFIP Transactions},
  publisher = {North-Holland},
  isbn = {0-444-82020-5},
}

@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 = {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 = {Wolfgang Gentzsch and Uwe Harms},
  volume = {797},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57981-8},
}

@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 Congress},
}

@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 = {Journal of Functional Programming},
  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 = {Journal of the ACM},
  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 = {IFIP Congress},
}

@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 = {Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings},
  editor = {Bruno Buchberger and Jens Volkert},
  volume = {854},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58430-7},
}

@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 = {Science of Computer Programming},
  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 = {Automated Software Engineering},
  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 = {Parallel Processing: CONPAR 92 - VAPP V, Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992, Proceedings},
  editor = {Luc Bougé and Michel Cosnard and Yves Robert and Denis Trystram},
  volume = {634},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55895-0},
}

@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 = {1st High-Assurance Systems Engineering Workshop (HASE  96), October 22, 1996, Niagara, Canada, Proceedings},
  publisher = {IEEE Computer Society},
}

@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 = {IEEE 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 = {2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998},
  editor = {Sharon Flynn and Andrew Butterfield},
  series = {Workshops in Computing},
  publisher = {BCS},
}

@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 = {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},
}

@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 = {Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report},
  editor = {Bernhard Möller and Helmuth Partsch and Stephen A. Schuman},
  volume = {755},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57499-9},
}

@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 of Numerical Software, Workshop, Oak Brook, Illinois, USA, June 21-23, 1976},
  editor = {Wayne R. Cowell},
  volume = {57},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-08446-0},
}

@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 = {IEEE Trans. Software Eng.},
  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 = {Informatica (Slovenia)},
  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 = {Informatica (Slovenia)},
  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},
}