+++
title = "η function"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["2e1b3"]
forwardlinks = ["2e1b5"]
zettelid = "2e1b4"
+++

The η function determines the value of a variable at the end of a loop.
This also doesn't seem like it takes a condition variable. In thinned
GSA \[1\], the η function does not have a predicate of when the
assignment will be performed, however, in the original formulation, the
η function did have the predicate.

<div id="refs" class="references csl-bib-body" markdown="1">

<div id="ref-havlak94_const" class="csl-entry" markdown="1">

<span class="csl-left-margin">\[1\]
</span><span class="csl-right-inline">P. Havlak, “Construction of
thinned gated single-assignment form,” in *Languages and compilers for
parallel computing*, U. Banerjee, D. Gelernter, A. Nicolau, and D.
Padua, Eds., Berlin, Heidelberg: Springer Berlin Heidelberg, 1994, pp.
477–499.</span>

</div>

</div>