Raymond J. Hookway

Publication Activity (10 Years)

Years Active: 1976-1998
Publications (10 Years): 0

Publications

Anton Chernoff, Mark A. Herdeg, Raymond J. Hookway, Chris Reeve, Norman Rubin, Tony Tye, S. Bharadwaj Yadavalli, John Yates
FX!32 a profile-directed binary translator. IEEE Micro 18 (2) (1998)
Raymond J. Hookway, Mark A. Herdeg
DIGITAL FX!32: Combining Emulation and Binary Translation. Digit. Tech. J. 9 (1) (1997)
Raymond J. Hookway
DIGITAL FX!32 running 32-Bit x86 applications on Alpha NT. COMPCON (1997)
George W. Ernst, Raymond J. Hookway, William F. Ogden
Modular Verification of Data Abstractions with Shared Realizations. IEEE Trans. Software Eng. 20 (4) (1994)
George W. Ernst, Raymond J. Hookway, James A. Menegay, William F. Ogden
Modular Verification of Ada Generics. Comput. Lang. 16 (3/4) (1991)
Raymond J. Hookway
Verifying Ada programs. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Franklyn T. Bradshaw, George W. Ernst, Raymond J. Hookway
Use of data abstraction in process specification. ACM SIGSOFT Softw. Eng. Notes 7 (3) (1982)
Franklyn T. Bradshaw, George W. Ernst, Raymond J. Hookway, William F. Ogden
Procedure semantics and language definition. ACM SIGPLAN Notices 15 (6) (1980)
Burt M. Leavenworth, Raymond J. Hookway, George W. Ernst, Thomas A. Standish, Dennis F. Kibler, James M. Neighbors, J. C. Huang
SICSOFT (Paper Session). ACM Annual Conference (1976)
George W. Ernst, Raymond J. Hookway
The Use of Higher Order Logic in Program Verification. IEEE Trans. Computers 25 (8) (1976)
Raymond J. Hookway, George W. Ernst
A program verification system. ACM Annual Conference (1976)