Raymond J. Hookway

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