3 ms·
I asked myself a bit of a related question. Is this theory related to https://en.m.wikipedia.org/wiki/Static_single_assignment_form https://en.m.wikipedia.org/w
by bsaul 9y ago
I asked myself a bit of a related question. Is this theory related to https://en.m.wikipedia.org/wiki/Static_single_assignment_form https://en.m.wikipedia.org/wiki/Static_single_assignment_for... ?
- jw- 9y agoI think SSA is related to CPS, but I'm not sure of the correspondence with Linearity. I think the key difference (but I'm not sure), is that SSA only asserts that a variable is assigned once, but might be consumed multiple times. Linearity says that things must be consumed exactly once. For instance, I think: y <- x + 1 z <- x + 2 is a legal SSA expression, but it is not a legal linear expression because x appears twice. (Corrections welcome)
- kthielen 9y agoFWIW: https://www.cs.princeton.edu/~appel/papers/ssafun.ps https://www.cs.princeton.edu/~appel/papers/ssafun.ps