| |
| 2001 | ||
|---|---|---|
| 6 | R. Daniel Resler, James M. Boyle: Register allocation: A program-algebraic approach. Informatica (Slovenia) 25(2): (2001) | |
| 2000 | ||
| 5 | James M. Boyle, R. Daniel Resler: A Program-Algebraic Approach to Eliminating Common Subexpressions. Informatica (Slovenia) 24(3): (2000) | |
| 1999 | ||
| 4 | James M. Boyle, R. Daniel Resler, Victor L. Winter: Do You Trust Your Compiler? IEEE Computer 32(5): 65-73 (1999) | |
| 1997 | ||
| 3 | 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- |
| 2 | R. Daniel Resler, Danny Crookes: A Study in Generating Readable Modula-2 from Prolog. Informatica (Slovenia) 21(1): (1997) | |
| 1990 | ||
| 1 | EE | R. Daniel Resler, Keith O'Sullivan: VisiCLANG - a visible compiler for CLANG. SIGPLAN Notices 25(8): 120-123 (1990) |
| 1 | James M. Boyle | [3] [4] [5] [6] |
| 2 | Danny Crookes | [2] |
| 3 | Keith O'Sullivan | [1] |
| 4 | Victor L. Winter | [3] [4] |