Raymond J. Hookway

According to our database, Raymond J. Hookway authored at least 11 papers between 1976 and 1998.

Collaborative distances:

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

1998

FX!32 a profile-directed binary translator.

Anton Chernoff, Mark A. Herdeg, Raymond J. Hookway, Chris Reeve, Norman Rubin, Tony Tye, S. Bharadwaj Yadavalli, John Yates

IEEE Micro, 1998

1997

DIGITAL FX!32: Combining Emulation and Binary Translation.

Raymond J. Hookway, Mark A. Herdeg

Digit. Tech. J., 1997

DIGITAL FX!32 running 32-Bit x86 applications on Alpha NT.

Raymond J. Hookway

Proceedings of the Proceedings IEEE COMPCON 97, 1997

1994

Modular Verification of Data Abstractions with Shared Realizations.

George W. Ernst, Raymond J. Hookway, William F. Ogden

IEEE Trans. Software Eng., 1994

1991

Modular Verification of Ada Generics.

George W. Ernst, Raymond J. Hookway, James A. Menegay, William F. Ogden

Comput. Lang., 1991

1985

Verifying Ada programs.

Raymond J. Hookway

ACM SIGSOFT Softw. Eng. Notes, 1985

1982

Use of data abstraction in process specification.

Franklyn T. Bradshaw, George W. Ernst, Raymond J. Hookway

ACM SIGSOFT Softw. Eng. Notes, 1982

1980

Procedure semantics and language definition.

Franklyn T. Bradshaw, George W. Ernst, Raymond J. Hookway, William F. Ogden

ACM SIGPLAN Notices, 1980

1976

The Use of Higher Order Logic in Program Verification.

George W. Ernst, Raymond J. Hookway

IEEE Trans. Computers, 1976

SICSOFT (Paper Session).

Burt M. Leavenworth, Raymond J. Hookway, George W. Ernst, Thomas A. Standish, Dennis F. Kibler, James M. Neighbors, J. C. Huang

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

A program verification system.

Raymond J. Hookway, George W. Ernst

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976