Search the dblp DataBase
James M. Boyle :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Stephen Fitzpatrick , Terence J. Harmer , James M. Boyle Deriving Efficient Parallel Implementations of Algorithms Operating on General Sparse Matrices Using Automatic Program Transformation. [Citation Graph (0, 0)][DBLP ] CONPAR, 1994, pp:148-159 [Conf ] James M. Boyle , Maurice Clint , Stephen Fitzpatrick , Terence J. Harmer The Construction of Numerical Mathematical Software for the AMT DAP by Program Transformation. [Citation Graph (0, 0)][DBLP ] CONPAR, 1992, pp:761-767 [Conf ] James M. Boyle , R. Daniel Resler , Victor L. Winter Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers. [Citation Graph (0, 0)][DBLP ] HASE, 1997, pp:14-0 [Conf ] Victor L. Winter , James M. Boyle Proving refinement transformations for deriving high-assurance software. [Citation Graph (0, 0)][DBLP ] HASE, 1996, pp:68-77 [Conf ] Maurice Clint , Stephen Fitzpatrick , Terence J. Harmer , Peter Kilpatrick , James M. Boyle A Family of Data-Parallel Derivations. [Citation Graph (0, 0)][DBLP ] HPCN, 1994, pp:457-462 [Conf ] James M. Boyle , Kenneth W. Dritz An Automated Programming System to Facilitate the Development of Quality Mathematical Software. [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1974, pp:542-546 [Conf ] James M. Boyle , Kenneth W. Dritz , Oleg B. Arushanian , Yuri V. Kuchevsky Program Generation and Transformation - Tools for Mathematical Software Development. [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1977, pp:303-308 [Conf ] James M. Boyle , Terence J. Harmer Practical Transformation of Functional Programs for Efficient Execution: A Case Study. [Citation Graph (0, 0)][DBLP ] Formal Program Development, 1993, pp:62-88 [Conf ] Terence J. Harmer , Patrick J. McParland , James M. Boyle Applications of the TAMPR Transformation System. [Citation Graph (0, 0)][DBLP ] IWFM, 1998, pp:- [Conf ] Terence J. Harmer , James M. Boyle Brewing Fresh JAVA from Legacy Lisp - An Experiment in Automated Reverse Engineering. [Citation Graph (0, 0)][DBLP ] ASE, 1998, pp:318-332 [Conf ] James M. Boyle Mathematical Software Transportability Systems - Have the Variations a Theme?. [Citation Graph (0, 0)][DBLP ] Portability of Numerical Software, 1976, pp:305-360 [Conf ] James M. Boyle Automatic, Self-adaptive Control and Unfold Transformations. [Citation Graph (0, 0)][DBLP ] PROCOMET, 1994, pp:83-103 [Conf ] Terence J. Harmer , Patrick J. McParland , James M. Boyle Transformations to Restructure and Re-engineer COBOL Programs. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 1998, v:5, n:3, pp:321-345 [Journal ] James M. Boyle , R. Daniel Resler , Victor L. Winter Do You Trust Your Compiler? [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1999, v:32, n:5, pp:65-73 [Journal ] James M. Boyle , R. Daniel Resler A Program-Algebraic Approach to Eliminating Common Subexpressions. [Citation Graph (0, 0)][DBLP ] Informatica (Slovenia), 2000, v:24, n:3, pp:- [Journal ] R. Daniel Resler , James M. Boyle Register allocation: A program-algebraic approach. [Citation Graph (0, 0)][DBLP ] Informatica (Slovenia), 2001, v:25, n:2, pp:- [Journal ] James M. Boyle , Albert A. Grau An Algorithmic Semantics for ALGOL 60 Identifier Denotation. [Citation Graph (0, 0)][DBLP ] J. ACM, 1970, v:17, n:2, pp:361-382 [Journal ] James M. Boyle , Terence J. Harmer A Practical Functional Program for the CRAY X-MP. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 1992, v:2, n:1, pp:81-126 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1997, v:28, n:1, pp:1-41 [Journal ] James M. Boyle , Monagur N. Muralidharan Program Reusability through Program Transformation. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1984, v:10, n:5, pp:574-588 [Journal ] Search in 0.002secs, Finished in 0.003secs