Prospects for Hardware Foundations - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

1998

Normalisation by EvaluationUlrich Berger, Matthias Eberl, Helmut Schwichtenberg. nada 1998: 117-137 [doi]

Grid Protocol SpecificationsJan A. Bergstra, Alban Ponse. nada 1998: 278-308 [doi]

Streams, Stream Transformers and Domain RepresentationsJens Blanck, Viggo Stoltenberg-Hansen, J. V. Tucker. nada 1998: 27-68 [doi]

The Computational Description of Analogue System BehaviourPeter T. Breuer, Natividad Martínez Madrid, Carlos Delgado Kloos. nada 1998: 309-332 [doi]

Algebraic Models of Superscalar Microprocessor Implementations: A Case StudyAnthony C. J. Fox, Neal A. Harman. nada 1998: 138-183 [doi]

Reasoning about Imperfect Digital SystemsKeith Hanna. nada 1998: 333-355 [doi]

Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA - New Hardware Design Methods, Survey ChaptersBernhard Möller, J. V. Tucker, editors, Volume 1546 of Lecture Notes in Computer Science, Springer, 1998.

Deductive Hardware Design: A Functional ApproachBernhard Möller. nada 1998: 421-468 [doi]

Idel Stream AlgebraBernhard Möller. nada 1998: 69-116 [doi]

Formal Verification and Hardware Design with StatechartsJan Philipps, Peter Scholz. nada 1998: 356-389 [doi]

Hierarchies of Spatially Extended Systems and Synchronous Concurrent AlgorithmsM. J. Poole, Arun V. Holden, J. V. Tucker. nada 1998: 184-235 [doi]

Towards an Algebraic Specification of the Java Virtual MachineK. Stephenson. nada 1998: 236-277 [doi]

An Exercise in Conditional RefinementKetil Stølen, Max Fuchs. nada 1998: 390-420 [doi]

Sign in or sign up to see more results.

runs on WebDSL