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

9 hours 51 min ago

11 hours 59 min ago

19 hours 14 min ago

1 day 14 min ago

1 day 24 min ago

1 day 2 hours ago

1 day 9 hours ago

1 day 10 hours ago

1 day 13 hours ago

1 day 14 hours ago