Prospects for Hardware Foundations : ESPRIT Working Group 8533 NADA - New Hardware Design Methods Survey Chapters / edited by Bernhard Möller, John V. Tucker.

Format:

Book

Contributor:

Möller, Bernhard, 1953- editor.

Tucker, J. V. (John V.), 1952- editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

Lecture notes in computer science 0302-9743 ; 1546.

Lecture Notes in Computer Science, 0302-9743 ; 1546

Language:

English

Subjects (All):

Logic design.

Logic Design.

Local Subjects:

Logic Design.

Physical Description:

1 online resource (X, 470 pages) : 7 illustrations.

Edition:

First edition 1998.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.

System Details:

text file PDF

Summary:

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.

Contents:

Introduction: NADA and NIL

Introduction: NADA and NIL

I Mathematical Foundations

Streams, Stream Transformers and Domain Representations

Ideal Stream Algebra

Normalization by Evaluation

II Hardware And Dynamical Systems

Algebraic Models of Superscalar Microprocessor Implementations: a Case Study

Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms

Towards an Algebraic Specification of the Java Virtual Machine

Grid Protocol Specifications

The Computational Description of Analogue System Behaviour

Verification and Deductive Design

Reasoning about Imperfect Digital Systems

Formal Verification and Hardware Design with Statecharts

An Exercise in Conditional Refinement

Deductive Hardware Design: A Functional Approach.

Other Format:

Printed edition:

ISBN:

978-3-540-49254-2

9783540492542

Access Restriction:

Restricted for use by site license.