R. Daniel Resler

According to our database, R. Daniel Resler authored at least 9 papers between 1990 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

A higher-order strategy for eliminating common subexpressions.

R. Daniel Resler, Victor L. Winter

Comput. Lang. Syst. Struct., 2009

2001

Register allocation: A program-algebraic approach.

R. Daniel Resler, James M. Boyle

Informatica (Slovenia), 2001

2000

A Program-Algebraic Approach to Eliminating Common Subexpressions.

James M. Boyle, R. Daniel Resler

Informatica (Slovenia), 2000

1999

Do You Trust Your Compiler?

James M. Boyle, R. Daniel Resler, Victor L. Winter

Computer, 1999

1998

VCOCO: a visualisation tool for teaching compilers.

R. Daniel Resler, Dean M. Deaver

Proceedings of the 6th Annual Conference on the Teaching of Computing and the 3rd Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1998

1997

A Study in Generating Readable Modula-2 from Prolog.

R. Daniel Resler, Danny Crookes

Informatica (Slovenia), 1997

Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers.

James M. Boyle, R. Daniel Resler, Victor L. Winter

Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

1991

An investigation into generating readable software from logic specifications.

R. Daniel Resler

PhD thesis, 1991

1990

VisiCLANG - a visible compiler for CLANG.

R. Daniel Resler, Keith O'Sullivan

ACM SIGPLAN Notices, 1990