| 2001 |
|---|
| 22 | | R. Daniel Resler,
James M. Boyle:
Register allocation: A program-algebraic approach.
Informatica (Slovenia) 25(2): (2001) |
| 2000 |
|---|
| 21 | | James M. Boyle,
R. Daniel Resler:
A Program-Algebraic Approach to Eliminating Common Subexpressions.
Informatica (Slovenia) 24(3): (2000) |
| 1999 |
|---|
| 20 | | James M. Boyle,
R. Daniel Resler,
Victor L. Winter:
Do You Trust Your Compiler?
IEEE Computer 32(5): 65-73 (1999) |
| 1998 |
|---|
| 19 | EE | Terence J. Harmer,
James M. Boyle:
Brewing Fresh JAVA from Legacy Lisp - An Experiment in Automated Reverse Engineering.
ASE 1998: 318-332 |
| 18 | | Terence J. Harmer,
Patrick J. McParland,
James M. Boyle:
Applications of the TAMPR Transformation System.
IWFM 1998 |
| 17 | | Terence J. Harmer,
Patrick J. McParland,
James M. Boyle:
Transformations to Restructure and Re-engineer COBOL Programs.
Autom. Softw. Eng. 5(3): 321-345 (1998) |
| 1997 |
|---|
| 16 | EE | James M. Boyle,
R. Daniel Resler,
Victor L. Winter:
Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers.
HASE 1997: 14- |
| 15 | | 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): 1-41 (1997) |
| 1996 |
|---|
| 14 | EE | Victor L. Winter,
James M. Boyle:
Proving refinement transformations for deriving high-assurance software.
HASE 1996: 68-77 |
| 1994 |
|---|
| 13 | | 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: 148-159 |
| 12 | | Maurice Clint,
Stephen Fitzpatrick,
Terence J. Harmer,
Peter Kilpatrick,
James M. Boyle:
A Family of Data-Parallel Derivations.
HPCN 1994: 457-462 |
| 11 | | James M. Boyle:
Automatic, Self-adaptive Control and Unfold Transformations.
PROCOMET 1994: 83-103 |
| 1993 |
|---|
| 10 | | James M. Boyle,
Terence J. Harmer:
Practical Transformation of Functional Programs for Efficient Execution: A Case Study.
Formal Program Development 1993: 62-88 |
| 1992 |
|---|
| 9 | | 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: 761-767 |
| 8 | | James M. Boyle,
Terence J. Harmer:
A Practical Functional Program for the CRAY X-MP.
J. Funct. Program. 2(1): 81-126 (1992) |
| 1984 |
|---|
| 7 | | James M. Boyle,
Monagur N. Muralidharan:
Program Reusability through Program Transformation.
IEEE Trans. Software Eng. 10(5): 574-588 (1984) |
| 1977 |
|---|
| 6 | | Burton S. Garbow,
James M. Boyle,
Jack Dongarra,
Cleve B. Moler:
Matrix Eigensystem Routines - EISPACK Guide Extension
Springer 1977 |
| 5 | | James M. Boyle,
Kenneth W. Dritz,
Oleg B. Arushanian,
Yuri V. Kuchevsky:
Program Generation and Transformation - Tools for Mathematical Software Development.
IFIP Congress 1977: 303-308 |
| 1976 |
|---|
| 4 | | Brian T. Smith,
James M. Boyle,
Jack Dongarra,
Burton S. Garbow,
Yasuhiko Ikebe,
Virginia C. Klema,
Cleve B. Moler:
Matrix Eigensystem Routines - EISPACK Guide, Second Edition
Springer 1976 |
| 3 | | James M. Boyle:
Mathematical Software Transportability Systems - Have the Variations a Theme?.
Portability of Numerical Software 1976: 305-360 |
| 1974 |
|---|
| 2 | | James M. Boyle,
Kenneth W. Dritz:
An Automated Programming System to Facilitate the Development of Quality Mathematical Software.
IFIP Congress 1974: 542-546 |
| 1970 |
|---|
| 1 | EE | James M. Boyle,
Albert A. Grau:
An Algorithmic Semantics for ALGOL 60 Identifier Denotation.
J. ACM 17(2): 361-382 (1970) |
