## User login## Navigation |
## Ralf Hinze: An algebra of scans
Ralf Hinze. An algebra of scans. Proceedings of the Seventh International Conference on Mathematics of Program Construction (MPC 2004).
In this paper we show that parallel prefix circuits enjoy a very pleasant algebra. Using only two basic building blocks and four combinators all standard designs can be described succinctly and rigorously. The rules of the algebra allow us to prove the circuits correct and to derive circuit designs in a systematic manner.
Parallel prefix computations, or
I wonder when we will be seeing courses called Ah right, just after all universities offer language design courses ;-) |
## Browse archives
## Active forum topics## New forum topics |

## Recent comments

2 weeks 2 days ago

2 weeks 4 days ago

2 weeks 4 days ago

2 weeks 5 days ago

2 weeks 6 days ago

2 weeks 6 days ago

2 weeks 6 days ago

2 weeks 6 days ago

2 weeks 6 days ago

4 weeks 1 day ago