HOME | DEUTSCH | IMPRESSUM | KIT

masters thesis (finished): Formalization of SSA-form



Publications

Publication
Minimal Static Single Assignment Form

Advisors

Former Staff Member
Dipl.-Inform. Sebastian Buchwald
Dipl.-Inform. Denis Lohner

Students

Former Staff Member
M.Sc. Maximilian Wagner