Elementary Microarchitecture Algebra
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 288-300
- https://doi.org/10.1007/3-540-48683-6_26
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A transformation-based optimiser for HaskellScience of Computer Programming, 1998
- Processor verification with precise exceptions and speculative executionPublished by Springer Nature ,1998
- The Algebra of ProgrammingPublished by Springer Nature ,1996
- Reasoning about pipelines with structural hazardsPublished by Springer Nature ,1995
- Teaching functional circuit specification in HydraPublished by Springer Nature ,1995
- Graph algorithms with a functional flavourPublished by Springer Nature ,1995
- IsabellePublished by Springer Nature ,1994
- A short cut to deforestationPublished by Association for Computing Machinery (ACM) ,1993
- Synchronous Programming of Reactive SystemsPublished by Springer Nature ,1993
- Retiming synchronous circuitryAlgorithmica, 1991