Collaborated with:
Mounir Assaf D.A.Naumann J.Signoles Eric Totel
Talks about:
hypercollect (1) analysi (1) static (1) semant (1) inform (1) applic (1) flow (1)
Person: Frédéric Tronel
DBLP: Tronel:Fr=eacute=d=eacute=ric
Contributed to:
Wrote 1 papers:
- POPL-2017-AssafNSTT #data flow #semantics #static analysis
- Hypercollecting semantics and its application to static analysis of information flow (MA, DAN, JS, ET, FT), pp. 874–887.