Talks and Poster Presentations (without Proceedings-Entry):

M.A. Ertl:
"Domination-Based Scoping and Static Single Assignment Languages";
Talk: Static Single-Assignment Form Seminar, Autrans, Frankreich; 2009-04-26 - 2009-04-30.

English abstract:
SSA form makes data flow easier to understand. This
is not just an advantage for the compiler, but can
also be an advantage for the programmer. One style
of using local variables in Forth is to program in
single-assignment style. Based on these experiences,
we also designed an experimental programming
language with a more conventional syntax that
enforces static single assignments, and collected
some experience with it. One consequence of this
approach is a new scoping regime based on
domination; in many cases domination-based scoping
is mostly equvalent to classical block-based
scoping, but there are also cases where there is a

Created from the Publication Database of the Vienna University of Technology.