Tue Dec 2 16:32:07 EST 2014

How to think about loops?

This problem has been bugging me for what... 20 years?

It looks like I've reached a point where I can't ignore it any more.

There are no hacks that can solve this..  It needs insight..

I need a loop transformation algebra.

In Feldspar this is called Vector Fusion[1].  Maybe a good way to move
forward is to express the feedback generation part in Feldspar?

[1] http://www.cse.chalmers.se/~ms/MemoCode.pdf