## 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 |

## Recent comments

6 weeks 6 days ago

7 weeks 1 day ago

7 weeks 2 days ago

14 weeks 2 days ago

20 weeks 15 hours ago

20 weeks 1 day ago

21 weeks 15 hours ago

23 weeks 6 days ago

25 weeks 1 day ago

25 weeks 2 days ago