[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 …
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 …
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 …
… 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 …
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 …
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 …
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 …
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 …
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 …
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 …
that occur in the systems. The specification of such processes should state the nature of this …