ISBN: 3-540-65461-5
TITLE: Prospects for Hardware Foundations
AUTHOR: Mller, Bernhard; Tucker, John V. (Eds.)
TOC:

Introduction: NADA and NIL 1
The NADA Group
I MATHEMATICAL FOUNDATIONS
Streams, Stream Transformers and Domain Representations 27
J. Blanck, V. Stoltenberg-Hansen and J. V. Tucker
Ideal Stream Algebra 69
B. Mller
Normalisation by Evaluation 117
U. Berger, M. Eberl and H. Schwichtenberg
II HARDWARE AND DYNAMICAL SYSTEMS
Algebraic Models of Superscalar Microprocessor Implementations: A Case Study 138
A.C.J. Fox and N.A. Harman
Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms 184
M.J. Poole, A.V. Holden and J.V. Tucker
Towards an Algebraic Speci_cation of the Java Virtual Machine 236
K. Stephenson
Grid Protocol Specifications 278
J. A. Bergstra and A. Ponse
The Computational Description of Analogue System Behaviour 309
P.T. Breuer, N. Martnez Madrid and C. Delgado Kloos
III VERIFICATION AND DEDUCTIVE DESIGN
Reasoning about Imperfect Digital Systems 333
K. Hanna
Formal Verification and Hardware Design with Statecharts 356
J. Philipps and P. Scholz
An Exercise in Conditional Refinement 390
K. Stlen and M. Fuchs
Deductive Hardware Design: A Functional Approach 421
B. Mller
END
