The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

James M. Boyle: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Terence J. Harmer, Patrick J. McParland, James M. Boyle
    Applications of the TAMPR Transformation System. [Citation Graph (0, 0)][DBLP]
    IWFM, 1998, pp:- [Conf]
  10. 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]
  11. 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]
  12. James M. Boyle
    Automatic, Self-adaptive Control and Unfold Transformations. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:83-103 [Conf]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002