Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: James M. Boyle
@inproceedings{DBLP:conf/gala/BoyleB13,
author = {James M. Boyle and
Elizabeth A. Boyle},
editor = {Alessandro De Gloria},
title = {Towards an Understanding of the Relationship Between Executive Functions
and Learning Outcomes from Serious Computer Games},
booktitle = {Games and Learning Alliance - Second International Conference, {GALA}
2013, Paris, France, October 23-25, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8605},
pages = {187--199},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-12157-4\_15},
doi = {10.1007/978-3-319-12157-4\_15},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gala/BoyleB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ce/ConnollyBMHB12,
author = {Thomas M. Connolly and
Elizabeth A. Boyle and
Ewan MacArthur and
Thomas Hainey and
James M. Boyle},
title = {A systematic literature review of empirical evidence on computer games
and serious games},
journal = {Comput. Educ.},
volume = {59},
number = {2},
pages = {661--686},
year = {2012},
url = {https://doi.org/10.1016/j.compedu.2012.03.004},
doi = {10.1016/J.COMPEDU.2012.03.004},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ce/ConnollyBMHB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chb/BoyleCHB12,
author = {Elizabeth A. Boyle and
Thomas M. Connolly and
Thomas Hainey and
James M. Boyle},
title = {Engagement in digital entertainment games: {A} systematic review},
journal = {Comput. Hum. Behav.},
volume = {28},
number = {3},
pages = {771--780},
year = {2012},
url = {https://doi.org/10.1016/j.chb.2011.11.020},
doi = {10.1016/J.CHB.2011.11.020},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chb/BoyleCHB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/ReslerB01,
author = {R. Daniel Resler and
James M. Boyle},
title = {Register allocation: {A} program-algebraic approach},
journal = {Informatica (Slovenia)},
volume = {25},
number = {2},
year = {2001},
timestamp = {Mon, 15 Feb 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/ReslerB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/BoyleR00,
author = {James M. Boyle and
R. Daniel Resler},
title = {A Program-Algebraic Approach to Eliminating Common Subexpressions},
journal = {Informatica (Slovenia)},
volume = {24},
number = {3},
year = {2000},
timestamp = {Mon, 15 Feb 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/BoyleR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BoyleRW99,
author = {James M. Boyle and
R. Daniel Resler and
Victor L. Winter},
title = {Do You Trust Your Compiler?},
journal = {Computer},
volume = {32},
number = {5},
pages = {65--73},
year = {1999},
url = {https://doi.org/10.1109/2.762804},
doi = {10.1109/2.762804},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BoyleRW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/HarmerMB98,
author = {Terence J. Harmer and
Patrick J. McParland and
James M. Boyle},
title = {Transformations to Restructure and Re-engineer {COBOL} Programs},
journal = {Autom. Softw. Eng.},
volume = {5},
number = {3},
pages = {321--345},
year = {1998},
url = {https://doi.org/10.1023/A:1008656708551},
doi = {10.1023/A:1008656708551},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/HarmerMB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/HarmerMB98,
author = {Terence J. Harmer and
Patrick J. McParland and
James M. Boyle},
editor = {Sharon Flynn and
Andrew Butterfield},
title = {Applications of the {TAMPR} Transformation System},
booktitle = {2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1998},
url = {http://ewic.bcs.org/content/ConWebDoc/4387},
timestamp = {Tue, 19 Jun 2018 08:04:33 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/HarmerMB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HarmerB98,
author = {Terence J. Harmer and
James M. Boyle},
title = {Brewing Fresh {JAVA} from Legacy Lisp - An Experiment in Automated
Reverse Engineering},
booktitle = {The Thirteenth {IEEE} Conference on Automated Software Engineering,
{ASE} 1998, Honolulu, Hawaii, USA, October 13-16, 1998},
pages = {318--332},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ASE.1998.732689},
doi = {10.1109/ASE.1998.732689},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/HarmerB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FitzpatrickHSCB97,
author = {Stephen Fitzpatrick and
Terence J. Harmer and
Alan Stewart and
Maurice Clint and
James M. Boyle},
title = {The Automated Transformation of Abstract Specifications of Numerical
Algorithms into Efficient Array Processor Implementations},
journal = {Sci. Comput. Program.},
volume = {28},
number = {1},
pages = {1--41},
year = {1997},
url = {https://doi.org/10.1016/S0167-6423(96)00015-9},
doi = {10.1016/S0167-6423(96)00015-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FitzpatrickHSCB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BoyleRW97,
author = {James M. Boyle and
R. Daniel Resler and
Victor L. Winter},
title = {Do You Trust Your Compiler? Applying Formal Methods to Constructing
High-Assurance Compilers},
booktitle = {2nd High-Assurance Systems Engineering Workshop {(HASE} '97), August
11-12, 1997, Washington, DC, USA, Proceedings},
pages = {14--31},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/HASE.1997.648033},
doi = {10.1109/HASE.1997.648033},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/BoyleRW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/WinterB96,
author = {Victor L. Winter and
James M. Boyle},
title = {Proving refinement transformations for deriving high-assurance software},
booktitle = {1st High-Assurance Systems Engineering Workshop {(HASE} '96), October
22, 1996, Niagara, Canada, Proceedings},
pages = {68--77},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/HASE.1996.618567},
doi = {10.1109/HASE.1996.618567},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/WinterB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HarmerMB96,
author = {Terence J. Harmer and
Patrick J. McParland and
James M. Boyle},
title = {Using knowledge-based transformations to reverse-engineer {COBOL}
programs},
booktitle = {Proceedings of the 11th Knowledge-Based Software Engineering Conference,
{KBSE} 1996, Syracuse, NY, USA, September 25-28, 1996},
pages = {114--123},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/KBSE.1996.552829},
doi = {10.1109/KBSE.1996.552829},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/HarmerMB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scitools/BoyleHW96,
author = {James M. Boyle and
Terence J. Harmer and
Victor L. Winter},
editor = {Erlend Arge and
Are Magnus Bruaset and
Hans Petter Langtangen},
title = {The {TAMPR} Program Transformation System: Simplifying the Development
of Numerical Software},
booktitle = {Modern Software Tools for Scientific Computing, SciTools 1996, Oslo,
Norway, September 16-18, 1996},
pages = {353--372},
publisher = {Birkh{\"{a}}user},
year = {1996},
url = {https://doi.org/10.1007/978-1-4612-1986-6\_17},
doi = {10.1007/978-1-4612-1986-6\_17},
timestamp = {Fri, 24 Apr 2020 15:02:38 +0200},
biburl = {https://dblp.org/rec/conf/scitools/BoyleHW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conpar/FitzpatrickHB94,
author = {Stephen Fitzpatrick and
Terence J. Harmer and
James M. Boyle},
editor = {Bruno Buchberger and
Jens Volkert},
title = {Deriving Efficient Parallel Implementations of Algorithms Operating
on General Sparse Matrices Using Automatic Program Transformation},
booktitle = {Parallel Processing: {CONPAR} 94 - {VAPP} VI, Third Joint International
Conference on Vector and Parallel Processing, Linz, Austria, September
6-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {854},
pages = {148--159},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58430-7\_14},
doi = {10.1007/3-540-58430-7\_14},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/conpar/FitzpatrickHB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcn/ClintFHKB94,
author = {Maurice Clint and
Stephen Fitzpatrick and
Terence J. Harmer and
Peter Kilpatrick and
James M. Boyle},
editor = {Wolfgang Gentzsch and
Uwe Harms},
title = {A Family of Data-Parallel Derivations},
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},
series = {Lecture Notes in Computer Science},
volume = {797},
pages = {457--462},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57981-8\_160},
doi = {10.1007/3-540-57981-8\_160},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/hpcn/ClintFHKB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Boyle94,
author = {James M. Boyle},
editor = {Ernst{-}R{\"{u}}diger Olderog},
title = {Automatic, Self-adaptive Control and Unfold Transformations},
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},
series = {{IFIP} Transactions},
volume = {{A-56}},
pages = {83--103},
publisher = {North-Holland},
year = {1994},
timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
biburl = {https://dblp.org/rec/conf/procomet/Boyle94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2-1/BoyleH93,
author = {James M. Boyle and
Terence J. Harmer},
editor = {Bernhard M{\"{o}}ller and
Helmuth Partsch and
Stephen A. Schuman},
title = {Practical Transformation of Functional Programs for Efficient Execution:
{A} Case Study},
booktitle = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
Report},
series = {Lecture Notes in Computer Science},
volume = {755},
pages = {62--88},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57499-9\_17},
doi = {10.1007/3-540-57499-9\_17},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/ifip2-1/BoyleH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BoyleH92,
author = {James M. Boyle and
Terence J. Harmer},
title = {A Practical Functional Program for the {CRAY} {X-MP}},
journal = {J. Funct. Program.},
volume = {2},
number = {1},
pages = {81--126},
year = {1992},
url = {https://doi.org/10.1017/S0956796800000289},
doi = {10.1017/S0956796800000289},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BoyleH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conpar/BoyleCFH92,
author = {James M. Boyle and
Maurice Clint and
Stephen Fitzpatrick and
Terence J. Harmer},
editor = {Luc Boug{\'{e}} and
Michel Cosnard and
Yves Robert and
Denis Trystram},
title = {The Construction of Numerical Mathematical Software for the {AMT}
{DAP} by Program Transformation},
booktitle = {Parallel Processing: {CONPAR} 92 - {VAPP} V, Second Joint International
Conference on Vector and Parallel Processing, Lyon, France, September
1-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {634},
pages = {761--767},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55895-0\_481},
doi = {10.1007/3-540-55895-0\_481},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/conpar/BoyleCFH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BoyleM84,
author = {James M. Boyle and
Monagur N. Muralidharan},
title = {Program Reusability through Program Transformation},
journal = {{IEEE} Trans. Software Eng.},
volume = {10},
number = {5},
pages = {574--588},
year = {1984},
url = {https://doi.org/10.1109/TSE.1984.5010281},
doi = {10.1109/TSE.1984.5010281},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BoyleM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/IsaBNS83,
author = {Barbara S. Isa and
James M. Boyle and
Alan S. Neal and
Roger M. Simons},
editor = {Raoul N. Smith and
Richard W. Pew and
Ann Janda},
title = {A methodology for objectively evaluating error messages},
booktitle = {Proceedings of the {SIGCHI} Conference on Human Factors in Computing
Systems, {CHI} 1983, Boston, Massachusetts, USA, December 12-15, 1983},
pages = {68--71},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/800045.801583},
doi = {10.1145/800045.801583},
timestamp = {Mon, 19 Jul 2021 11:36:27 +0200},
biburl = {https://dblp.org/rec/conf/chi/IsaBNS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/BuryBEN82,
author = {Kevin F. Bury and
James M. Boyle and
R. James Evey and
Alan S. Neal},
editor = {Jean A. Nichols and
Michael L. Schneider},
title = {Windowing vs scrolling on a visual display terminal},
booktitle = {Proceedings of the 1982 Conference on Human Factors in Computing Systems,
{CHI} 1982, Gaithersburg, Maryland, USA, March 15-17, 1982},
pages = {41--44},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800049.801752},
doi = {10.1145/800049.801752},
timestamp = {Tue, 20 Jul 2021 13:45:02 +0200},
biburl = {https://dblp.org/rec/conf/chi/BuryBEN82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/signum/Boyle78,
author = {James M. Boyle},
title = {Extending reliability (Extended Abstract{\textgreater}: Transformational
tailoring of abstract mathematical software},
booktitle = {Proceedings of the {SIGNUM} Conference on the Programming Environment
for Development of Numerical Software, October 1, 1978, {USA}},
pages = {57--60},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800208.806429},
doi = {10.1145/800208.806429},
timestamp = {Mon, 09 Aug 2021 11:31:29 +0200},
biburl = {https://dblp.org/rec/conf/signum/Boyle78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/GarbowBDM77,
author = {Burton S. Garbow and
James M. Boyle and
Jack J. Dongarra and
Cleve B. Moler},
title = {Matrix Eigensystem Routines - {EISPACK} Guide Extension},
series = {Lecture Notes in Computer Science},
volume = {51},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08254-9},
doi = {10.1007/3-540-08254-9},
isbn = {3-540-08254-9},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/GarbowBDM77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BoyleDAK77,
author = {James M. Boyle and
Kenneth W. Dritz and
Oleg B. Arushanian and
Yuri V. Kuchevsky},
editor = {Bruce Gilchrist},
title = {Program Generation and Transformation - Tools for Mathematical Software
Development},
booktitle = {Information Processing, Proceedings of the 7th {IFIP} Congress 1977,
Toronto, Canada, August 8-12, 1977},
pages = {303--308},
publisher = {North-Holland},
year = {1977},
timestamp = {Fri, 26 Jul 2019 22:58:45 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BoyleDAK77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/SmithB76,
author = {Brian T. Smith and
James M. Boyle and
Jack J. Dongarra and
Burton S. Garbow and
Yasuhiko Ikebe and
Virginia C. Klema and
Cleve B. Moler},
title = {Matrix Eigensystem Routines - {EISPACK} Guide, Second Edition},
series = {Lecture Notes in Computer Science},
volume = {6},
publisher = {Springer},
year = {1976},
url = {https://doi.org/10.1007/3-540-07546-1},
doi = {10.1007/3-540-07546-1},
isbn = {3-540-07546-1},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/SmithB76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/portability/Boyle76,
author = {James M. Boyle},
editor = {Wayne R. Cowell},
title = {Mathematical Software Transportability Systems - Have the Variations
a Theme?},
booktitle = {Portability of Numerical Software, Workshop, Oak Brook, Illinois,
USA, June 21-23, 1976},
series = {Lecture Notes in Computer Science},
volume = {57},
pages = {305--360},
publisher = {Springer},
year = {1976},
url = {https://doi.org/10.1007/3-540-08446-0\_47},
doi = {10.1007/3-540-08446-0\_47},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/portability/Boyle76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BoyleD74,
author = {James M. Boyle and
Kenneth W. Dritz},
editor = {Jack L. Rosenfeld},
title = {An Automated Programming System to Facilitate the Development of Quality
Mathematical Software},
booktitle = {Information Processing, Proceedings of the 6th {IFIP} Congress 1974,
Stockholm, Sweden, August 5-10, 1974},
pages = {542--546},
publisher = {North-Holland},
year = {1974},
timestamp = {Fri, 26 Jul 2019 22:58:40 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BoyleD74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/BoyleCCGIMS72,
author = {James M. Boyle and
William J. Cody and
Wayne R. Cowell and
Burton S. Garbow and
Yasuhiko Ikebe and
Cleve B. Moler and
Brian T. Smith},
editor = {John J. Donovan and
Rosemary Shields},
title = {{NATS} a collaborative effort to certify and disseminate mathematical
software},
booktitle = {Proceedings of the {ACM} annual conference, {ACM} 1972, 1972, Volume
2},
pages = {630--635},
publisher = {{ACM}},
year = {1972},
url = {https://doi.org/10.1145/800194.805838},
doi = {10.1145/800194.805838},
timestamp = {Tue, 13 Apr 2021 15:14:50 +0200},
biburl = {https://dblp.org/rec/conf/acm/BoyleCCGIMS72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BoyleG70,
author = {James M. Boyle and
Albert A. Grau},
title = {An Algorithmic Semantics for {ALGOL} 60 Identifier Denotation},
journal = {J. {ACM}},
volume = {17},
number = {2},
pages = {361--382},
year = {1970},
url = {https://doi.org/10.1145/321574.321589},
doi = {10.1145/321574.321589},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BoyleG70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
