Prospects for Hardware Foundations

1. Front Matter

   Pages I-X

   PDF

2. Introduction: NADA and NIL

   1. Introduction: NADA and NIL

      • The NADA Group

      Pages 1-26

3. I Mathematical Foundations

   1. Streams, Stream Transformers and Domain Representations

      • Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker

      Pages 27-68

   2. Ideal Stream Algebra

      • Bernhard Möller

      Pages 69-116

   3. Normalization by Evaluation

      • Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg

      Pages 117-137

4. II Hardware And Dynamical Systems

   1. Algebraic Models of Superscalar Microprocessor Implementations: a Case Study

      • A. C. J. Fox, N. A. Harman

      Pages 138-183

   2. Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms

      • M. J. Poole, J. V. Tucker, A. V. Holden

      Pages 184-235

   3. Towards an Algebraic Specification of the Java Virtual Machine

      • K. Stephenson

      Pages 236-277

   4. Grid Protocol Specifications

      • Jan A. Bergstra, Alban Ponse

      Pages 278-308

   5. The Computational Description of Analogue System Behaviour

      • Peter T. Breuer, Natividad Martínez Madrid, Carlos Delgado Kloos

      Pages 309-332

5. Verification and Deductive Design

   1. Reasoning about Imperfect Digital Systems

      • Keith Hanna

      Pages 333-355

   2. Formal Verification and Hardware Design with Statecharts

      • Jan Philipps, Peter Scholz

      Pages 356-389

   3. An Exercise in Conditional Refinement

      • Ketil Stølen, Max Fuchs

      Pages 390-420

   4. Deductive Hardware Design: A Functional Approach

      • Bernhard Möller

      Pages 421-468

Preface VI I X Table of Contents B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction: NADA and NIL 3 4 The NADA Group Introduction: NADA and NIL 5 6 The NADA Group Introduction: NADA and NIL 7 8 The NADA Group Introduction: NADA and NIL 9 10 The NADA Group Introduction: NADA and NIL 11 12 The NADA Group Introduction: NADA and NIL 13 14 The NADA Group Introduction: NADA and NIL 15 16 The NADA Group Introduction: NADA and NIL 17 18 The NADA Group Introduction: NADA and NIL 19 20 The NADA Group Introduction: NADA and NIL 21 22 The NADA Group Introduction: NADA and NIL 23 24 The NADA Group Introduction: NADA and NIL 25 26 The NADA Group Streams, Stream Transformers and Domain Representations B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 27-68, 1998. Springer-Verlag Berlin Heidelberg 1998 28 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 29 30 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 31 32 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 33 34 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 35 36 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 37

• Dynamical Systems
• Hardware Verification
• Logical Design
• formal methods
• formal verification
• hardware
• microprocessor
• processor design

• Department of Computer Science, University of Augsburg, Augsburg, Germany

  Bernhard Möller

• Department of Computer Science, University of Wales at Swansea, Swansea, UK

  John V. Tucker

Policies and ethics