James M. Boyle

31 papers A* 3Journal 10Unranked 16
YearRankTypeTitle / Venue / Authors
2013 — conf
Towards an Understanding of the Relationship Between Executive Functions and Learning Outcomes from Serious Computer Games.
GALA
James M. Boyle, Elizabeth A. Boyle
2012 J jnl
A systematic literature review of empirical evidence on computer games and serious games.
Comput. Educ.
Thomas M. Connolly, Elizabeth A. Boyle, Ewan MacArthur, Thomas Hainey, James M. Boyle
2012 J jnl
Engagement in digital entertainment games: A systematic review.
Comput. Hum. Behav.
Elizabeth A. Boyle, Thomas M. Connolly, Thomas Hainey, James M. Boyle
2001 J jnl
Register allocation: A program-algebraic approach.
Informatica (Slovenia)
R. Daniel Resler, James M. Boyle
2000 J jnl
A Program-Algebraic Approach to Eliminating Common Subexpressions.
Informatica (Slovenia)
James M. Boyle, R. Daniel Resler
1999 J jnl
Do You Trust Your Compiler?
Computer
James M. Boyle, R. Daniel Resler, Victor L. Winter
1998 — conf
Applications of the TAMPR Transformation System.
IWFM
Terence J. Harmer, Patrick J. McParland, James M. Boyle
1998 A* conf
Brewing Fresh JAVA from Legacy Lisp - An Experiment in Automated Reverse Engineering.
ASE
Terence J. Harmer, James M. Boyle
1998 J jnl
Transformations to Restructure and Re-engineer COBOL Programs.
Autom. Softw. Eng.
Terence J. Harmer, Patrick J. McParland, James M. Boyle
1997 — conf
Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers.
HASE
James M. Boyle, R. Daniel Resler, Victor L. Winter
1997 J jnl
The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations.
Sci. Comput. Program.
Stephen Fitzpatrick, Terence J. Harmer, Alan Stewart, Maurice Clint, James M. Boyle
1996 — conf
Proving refinement transformations for deriving high-assurance software.
HASE
Victor L. Winter, James M. Boyle
1996 — conf
The TAMPR Program Transformation System: Simplifying the Development of Numerical Software.
SciTools
James M. Boyle, Terence J. Harmer, Victor L. Winter
1996 — conf
Using knowledge-based transformations to reverse-engineer COBOL programs.
KBSE
Terence J. Harmer, Patrick J. McParland, James M. Boyle
1994 — conf
A Family of Data-Parallel Derivations.
HPCN
Maurice Clint, Stephen Fitzpatrick, Terence J. Harmer, Peter Kilpatrick, James M. Boyle
1994 — conf
Automatic, Self-adaptive Control and Unfold Transformations.
PROCOMET
James M. Boyle
1994 — conf
Deriving Efficient Parallel Implementations of Algorithms Operating on General Sparse Matrices Using Automatic Program Transformation.
CONPAR
Stephen Fitzpatrick, Terence J. Harmer, James M. Boyle
1993 — conf
Practical Transformation of Functional Programs for Efficient Execution: A Case Study.
Formal Program Development
James M. Boyle, Terence J. Harmer
1992 J jnl
A Practical Functional Program for the CRAY X-MP.
J. Funct. Program.
James M. Boyle, Terence J. Harmer
1992 — conf
The Construction of Numerical Mathematical Software for the AMT DAP by Program Transformation.
CONPAR
James M. Boyle, Maurice Clint, Stephen Fitzpatrick, Terence J. Harmer
1984 J jnl
Program Reusability through Program Transformation.
IEEE Trans. Software Eng.
James M. Boyle, Monagur N. Muralidharan
1983 A* conf
A methodology for objectively evaluating error messages.
CHI
Barbara S. Isa, James M. Boyle, Alan S. Neal, Roger M. Simons
1982 A* conf
Windowing vs scrolling on a visual display terminal.
CHI
Kevin F. Bury, James M. Boyle, R. James Evey, Alan S. Neal
1978 — conf
Extending reliability (Extended Abstract>: Transformational tailoring of abstract mathematical software.
SIGNUM
James M. Boyle
1977 — book
Matrix Eigensystem Routines - EISPACK Guide Extension
Burton S. Garbow, James M. Boyle, Jack J. Dongarra, Cleve B. Moler
1977 — conf
Program Generation and Transformation - Tools for Mathematical Software Development.
IFIP Congress
James M. Boyle, Kenneth W. Dritz, Oleg B. Arushanian, Yuri V. Kuchevsky
1976 — conf
Mathematical Software Transportability Systems - Have the Variations a Theme?.
Portability of Numerical Software
James M. Boyle
1976 — book
Matrix Eigensystem Routines - EISPACK Guide, Second Edition
Brian T. Smith, James M. Boyle, Jack J. Dongarra, Burton S. Garbow, Yasuhiko Ikebe, Virginia C. Klema, Cleve B. Moler
1974 — conf
An Automated Programming System to Facilitate the Development of Quality Mathematical Software.
IFIP Congress
James M. Boyle, Kenneth W. Dritz
1972 — conf
NATS a collaborative effort to certify and disseminate mathematical software.
ACM Annual Conference (2)
James M. Boyle, William J. Cody, Wayne R. Cowell, Burton S. Garbow, Yasuhiko Ikebe, Cleve B. Moler, Brian T. Smith
1970 J jnl
An Algorithmic Semantics for ALGOL 60 Identifier Denotation.
J. ACM
James M. Boyle, Albert A. Grau