James M. Boyle - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2001

Register allocation: A program-algebraic approachR. Daniel Resler, James M. Boyle. informaticaSI, 25(2), 2001.

2000

A Program-Algebraic Approach to Eliminating Common SubexpressionsJames M. Boyle, R. Daniel Resler. informaticaSI, 24(3), 2000.

1999

Do You Trust Your Compiler?James M. Boyle, R. Daniel Resler, Victor L. Winter. Computer, 32(5):65-73, 1999.

1998

Transformations to Restructure and Re-engineer COBOL ProgramsTerence J. Harmer, Patrick J. McParland, James M. Boyle. ASE, 5(3):321-345, 1998.

Applications of the TAMPR Transformation SystemTerence J. Harmer, Patrick J. McParland, James M. Boyle. iwfm 1998:

Brewing Fresh JAVA from Legacy Lisp - An Experiment in Automated Reverse EngineeringTerence J. Harmer, James M. Boyle. ASE 1998: 318-332 [doi]

1997

Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance CompilersJames M. Boyle, R. Daniel Resler, Victor L. Winter. hase 1997: 14 [doi]

The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor ImplementationsStephen Fitzpatrick, Terence J. Harmer, Alan Stewart, Maurice Clint, James M. Boyle. SCP, 28(1):1-41, 1997.

1996

Proving refinement transformations for deriving high-assurance softwareVictor L. Winter, James M. Boyle. hase 1996: 68-77 [doi]

1994

Automatic, Self-adaptive Control and Unfold TransformationsJames M. Boyle. procomet 1994: 83-103

A Family of Data-Parallel DerivationsMaurice Clint, Stephen Fitzpatrick, Terence J. Harmer, Peter Kilpatrick, James M. Boyle. hpcn 1994: 457-462

Deriving Efficient Parallel Implementations of Algorithms Operating on General Sparse Matrices Using Automatic Program TransformationStephen Fitzpatrick, Terence J. Harmer, James M. Boyle. conpar 1994: 148-159

1993

Practical Transformation of Functional Programs for Efficient Execution: A Case StudyJames M. Boyle, Terence J. Harmer. ifip2-1 1993: 62-88

1992

A Practical Functional Program for the CRAY X-MPJames M. Boyle, Terence J. Harmer. JFP, 2(1):81-126, 1992.

The Construction of Numerical Mathematical Software for the AMT DAP by Program TransformationJames M. Boyle, Maurice Clint, Stephen Fitzpatrick, Terence J. Harmer. conpar 1992: 761-767

1984

Program Reusability through Program TransformationJames M. Boyle, Monagur N. Muralidharan. TSE, 10(5):574-588, 1984.

1977

Program Generation and Transformation - Tools for Mathematical Software DevelopmentJames M. Boyle, Kenneth W. Dritz, Oleg B. Arushanian, Yuri V. Kuchevsky. ifip11-9 1977: 303-308

Matrix Eigensystem Routines - EISPACK Guide ExtensionBurton S. Garbow, James M. Boyle, Jack Dongarra, Cleve B. Moler. Volume 51 of Lecture Notes in Computer Science, Springer, 1977.

1976

Mathematical Software Transportability Systems - Have the Variations a Theme?James M. Boyle. portability 1977: 305-360

Matrix Eigensystem Routines - EISPACK Guide, Second EditionBrian T. Smith, James M. Boyle, Jack Dongarra, Burton S. Garbow, Yasuhiko Ikebe, Virginia C. Klema, Cleve B. Moler. Volume 6 of Lecture Notes in Computer Science, Springer, 1976.

1974

An Automated Programming System to Facilitate the Development of Quality Mathematical SoftwareJames M. Boyle, Kenneth W. Dritz. ifip 1974: 542-546

1970

An Algorithmic Semantics for ALGOL 60 Identifier DenotationJames M. Boyle, Albert A. Grau. JACM, 17(2):361-382, 1970. [doi]

Sign in or sign up to see more results.

runs on WebDSL