Collaborated with:
N.Stulova Pedro López-García 0001 J.F.Morales M.V.Hermenegildo
Talks about:
guarante (1) program (1) perform (1) static (1) runtim (1) check (1)
Person: Maximiliano Klemen
DBLP: Klemen:Maximiliano
Contributed to:
Wrote 1 papers:
- PPDP-2018-KlemenS0MH #performance #runtime #source code
- Static Performance Guarantees for Programs with Runtime Checks (MK, NS, PLG0, JFM, MVH), p. 13.