James M. Boyle

Publication Activity (10 Years)

Years Active: 1970-2013
Publications (10 Years): 0

Top Topics

Systematic Review

Learning Outcomes

Digital Entertainment

Top Venues

Comput. Hum. Behav.

Publications

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