J. Harrison

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Table-driven floatingpoint exponential function using HOL

A. T. Abdel-Hamid and others (2001) · TPHOLs 2001: Supplemental Proceedings

Formal Verification of IA-64 Division Algorithms

J. Harrison (2000) · Springer Berlin Heidelberg

Floating point verification in HOL light: The exponential function

J. Harrison (1997) · Springer Berlin Heidelberg

Experience with embedding hardware description languages in HOL

R. Boulton and others (1992) · Theorem Provers in Circuit Design · North-Holland