Raymond J. Hookway - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

1998

FX!32 a profile-directed binary translatorAnton Chernoff, Mark A. Herdeg, Raymond J. Hookway, Chris Reeve, Norman Rubin, Tony Tye, S. Bharadwaj Yadavalli, John Yates. micro, 18(2):56-64, 1998. [doi]

1997

DIGITAL FX!32: Combining Emulation and Binary TranslationRaymond J. Hookway, Mark A. Herdeg. dtj, 9(1), 1997. [doi]

DIGITAL FX!32 running 32-Bit x86 applications on Alpha NTRaymond J. Hookway. compcon 1997: 37-42 [doi]

1994

Modular Verification of Data Abstractions with Shared RealizationsGeorge W. Ernst, Raymond J. Hookway, William F. Ogden. TSE, 20(4):288-307, 1994. [doi]

1991

Modular Verification of Ada GenericsGeorge W. Ernst, Raymond J. Hookway, James A. Menegay, William F. Ogden. Comp. Lang., Syst. \& Struct., 16(3/4):259-280, 1991.

1985

Verifying Ada programsRaymond J. Hookway. sigsoft, 10(4):51-52, 1985. [doi]

1982

Use of data abstraction in process specificationFranklyn T. Bradshaw, George W. Ernst, Raymond J. Hookway. sigsoft, 7(3):16-21, 1982. [doi]

1980

Procedure semantics and language definitionFranklyn T. Bradshaw, George W. Ernst, Raymond J. Hookway, William F. Ogden. SIGPLAN, 15(6):28-33, 1980. [doi]

1976

The Use of Higher Order Logic in Program VerificationGeorge W. Ernst, Raymond J. Hookway. TC, 25(8):844-851, 1976.

A program verification systemRaymond J. Hookway, George W. Ernst. acm 1976: 504-508 [doi]

SICSOFT (Paper Session)Burt M. Leavenworth, Raymond J. Hookway, George W. Ernst, Thomas A. Standish, Dennis F. Kibler, James M. Neighbors, J. C. Huang. acm 1976: 498 [doi]

Sign in or sign up to see more results.

runs on WebDSL