James M. Boyle
Orcid: 0000-0002-4621-478X
According to our database1,
James M. Boyle
authored at least 31 papers
between 1970 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
1970
1975
1980
1985
1990
1995
2000
2005
2010
0
1
2
3
4
2
1
1
1
1
1
1
1
1
1
2
1
3
3
1
1
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
Towards an Understanding of the Relationship Between Executive Functions and Learning Outcomes from Serious Computer Games.
Proceedings of the Games and Learning Alliance - Second International Conference, 2013
2012
Comput. Hum. Behav., 2012
A systematic literature review of empirical evidence on computer games and serious games.
Comput. Educ., 2012
2001
Register allocation: A program-algebraic approach.
Informatica (Slovenia), 2001
2000
A Program-Algebraic Approach to Eliminating Common Subexpressions.
Informatica (Slovenia), 2000
1999
1998
Autom. Softw. Eng., 1998
Brewing Fresh JAVA from Legacy Lisp - An Experiment in Automated Reverse Engineering.
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998
Proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998, 1998
1997
The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations.
Sci. Comput. Program., 1997
Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers.
Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997
1996
The TAMPR Program Transformation System: Simplifying the Development of Numerical Software.
Proceedings of the Modern Software Tools for Scientific Computing, 1996
Proceedings of the 11th Knowledge-Based Software Engineering Conference, 1996
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996
1994
Automatic, Self-adaptive Control and Unfold Transformations.
Proceedings of the Programming Concepts, 1994
Proceedings of the High-Performance Computing and Networking, 1994
Deriving Efficient Parallel Implementations of Algorithms Operating on General Sparse Matrices Using Automatic Program Transformation.
Proceedings of the Parallel Processing: CONPAR 94, 1994
1993
Practical Transformation of Functional Programs for Efficient Execution: A Case Study.
Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993
1992
The Construction of Numerical Mathematical Software for the AMT DAP by Program Transformation.
Proceedings of the Parallel Processing: CONPAR 92, 1992
1984
1983
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, 1983
1982
Proceedings of the 1982 Conference on Human Factors in Computing Systems, 1982
1978
Extending reliability (Extended Abstract>: Transformational tailoring of abstract mathematical software.
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software, 1978
1977
Program Generation and Transformation - Tools for Mathematical Software Development.
Proceedings of the Information Processing, 1977
Lecture Notes in Computer Science 51, Springer, ISBN: 0387082549, 1977
1976
Proceedings of the Portability of Numerical Software, 1976
Lecture Notes in Computer Science 6, Springer, ISBN: 0-387-07546-1, 1976
1974
An Automated Programming System to Facilitate the Development of Quality Mathematical Software.
Proceedings of the Information Processing, 1974
1972
Proceedings of the ACM annual conference, 1972
1970