[PDF][PDF] Digital FX! 32: Combining emulation and binary translation

RJ Hookway, MA Herdeg - Digital Technical Journal, 1997 - studies.ac.upc.edu
The DIGITAL FX! 32 software product uniquely combines emulation and binary translation
to enable any 32-bit application that executes on an Intel x86 microprocessor running the …

[BOOK][B] The pragmatic maxim: Essays on Peirce and pragmatism

C Hookway - 2012 - books.google.com
… In The Pragmatic Maxim, Hookway explores Peirce's writings on truth, science, and the …
Hookway explores the different strategies Peirce employed to demonstrate the correctness …

[BOOK][B] Quine

C Hookway - 2013 - books.google.com
Hookway traces the development of Quine's work from his early criticisms of logical positivism
Hookway concludes by offering a critical appraisal of Quine's approach and of some of his …

Modular verification of data abstractions with shared realizations

GW Ernst, RJ Hookway… - IEEE Transactions on …, 1994 - ieeexplore.ieee.org
Presents a method for the modular specification and verification of data abstractions in which
multiple abstract objects share a common realization level data structure. Such shared …

Modular verification of Ada generics

GW Ernst, RJ Hookway, JA Menegay, WF Ogden - Computer Languages, 1991 - Elsevier
This paper develops modular verification rules for Ada generics which are proven to be
sound and complete. The generic mechanism in Ada allows modules to be parameterized by …

The cold-drawing of nylon 6.6

DC Hookway - Journal of the Textile Institute Proceedings, 1958 - Taylor & Francis
An investigation has been made into the variation in shape of the loadelongation curve of
undrawn polyhexamethylene adipamide (nylon 6.6) filaments with change in ambient …

A program verification system

RJ Hookway, GW Ernst - Proceedings of the 1976 annual conference, 1976 - dl.acm.org
… aec(A,i) is A[i] in PASCAL's notation; chg(A,i,J) is the array obtained by copying A and … J~
Hookway, Formulating inductive assertions for program verification, Report No. I16~, Jennings …

Naturalism and rationality

C Hookway - POZNAN STUDIES IN THE PHILOSOPHY OF THE …, 2000 - brill.com
The paper examines a common objection to naturalized epistemology: since it only
provides a scientific explanation of cognition. it fails to address the normative issues that are …

Procedure semantics and language definition

FT Bradshaw, GW Ernst, RJ Hookway… - ACM SIGPLAN …, 1980 - dl.acm.org
Semantics for procedures and their calls is proposed which describes two cases often
considered to be outside contemporary programming languages: distributed computing and …

Use of data abstraction in process specification

FT Bradshaw, GW Ernst, RJ Hookway - ACM SIGSOFT Software …, 1982 - dl.acm.org
Processes in computer systems are often intimately involved with various data abstractions
that occur in the systems. The specification of such processes should state the nature of this …