R. Daniel Resler

Publication Activity (10 Years)

Years Active: 1990-2009
Publications (10 Years): 0

Queen's University Belfast, UK (PHD)

Education History

Queen's University Belfast, UK

PHD

Publications

R. Daniel Resler, Victor L. Winter
A higher-order strategy for eliminating common subexpressions. Comput. Lang. Syst. Struct. 35 (4) (2009)
R. Daniel Resler, James M. Boyle
Register allocation: A program-algebraic approach. Informatica (Slovenia) 25 (2) (2001)
James M. Boyle, R. Daniel Resler
A Program-Algebraic Approach to Eliminating Common Subexpressions. Informatica (Slovenia) 24 (3) (2000)
James M. Boyle, R. Daniel Resler, Victor L. Winter
Do You Trust Your Compiler? Computer 32 (5) (1999)
R. Daniel Resler, Dean M. Deaver
VCOCO: a visualisation tool for teaching compilers. ITiCSE (1998)
R. Daniel Resler, Danny Crookes
A Study in Generating Readable Modula-2 from Prolog. Informatica (Slovenia) 21 (1) (1997)
James M. Boyle, R. Daniel Resler, Victor L. Winter
Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers. HASE (1997)
R. Daniel Resler, Keith O'Sullivan
VisiCLANG - a visible compiler for CLANG. ACM SIGPLAN Notices 25 (8) (1990)