Collaborated with:
S.Buchwald S.U.0002
Talks about:
construct (1) verifi (1) static (1) assign (1) singl (1) form (1)
Person: Denis Lohner
DBLP: Lohner:Denis
Contributed to:
Wrote 1 papers:
- CC-2016-BuchwaldLU
- Verified construction of static single assignment form (SB, DL, SU0), pp. 67–76.