Embedded Languages for Describing and Verifying Hardware (2001)

Cached

Download Links

by Koen Claessen
Citations:24 - 2 self

Documents Related by Co-Citation

893 The click modular router – Eddie Kohler - 2001
645 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979
1919 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fix-points – P Cousot, R Cousot - 1977
1318 Monads for functional programming – Philip Wadler - 1995
2224 The Art of Computer Programming – D E Knuth - 1969
542 The Implementation of Functional Programming Languages – S L Peyton Jones - 1987
1382 Quantum Computation and Quantum Information – Michael A Nielsen, Isaac L Chuang - 2000
818 Algorithms for Quantum Computation: Discrete Logarithms and Factoring – Peter W. Shor - 1994
666 Quantum theory, the Church-Turing principle and the universal quantum computer – David Deutsch - 1985