Collaborated with:
Mohan Kumar S.Kashyap Ján Veselý Zi Yan T.Kim A.Bhattacharjee T.Krishna
Talks about:
translat (1) coher (1) lazi (1) latr (1)
Person: Steffen Maass
DBLP: Maass:Steffen
Contributed to:
Wrote 1 papers:
- ASPLOS-2018-KumarMKVYKBK #lazy evaluation #named
- LATR: Lazy Translation Coherence (MK, SM, SK, JV, ZY, TK, AB, TK), pp. 651–664.