ListPrefix

ListPrefix(L)
$\;\;\;\;\;$foreach processor i, in parallel
$\;\;\;\;\;$ $\;\;\;\;\;$y(i) = x(i) $\;\;\;\;\;$ $\;\;\;\;\;$ $\;\;\;\;\;$ $\;\;\;\;\;$ $\;\;\;\;\;$ $\;\;\;\;\;$; [i,i]
$\;\;\;\;\;$while next(i) $\neq$ NIL for some object i
$\;\;\;\;\;$ $\;\;\;\;\;$foreach processor i, in parallel
$\;\;\;\;\;$ $\;\;\;\;\;$ $\;\;\;\;\;$if next(i) $\neq$ NIL $\;\;\;\;\;$ $\;\;\;\;\;$ $\;\;\;\;\;$ $\;\;\;\;\;$; [i,j] $\otimes$ [j+1,k] $\rightarrow$ [i,k]
$\;\;\;\;\;$ $\;\;\;\;\;$ $\;\;\;\;\;$then y(next(i)) = y(i) $\otimes$ y(next(i))
$\;\;\;\;\;$ $\;\;\;\;\;$ $\;\;\;\;\;$ $\;\;\;\;\;$next(i) = next(next(i)) $\;\;\;\;\;$ $\;\;\;\;\;$; pointer jump

Click mouse to advance to next frame.