Login / Signup

Online detection of effectively callback free objects with applications to smart contracts.

Shelly GrossmanIttai AbrahamGuy Golan-GuetaYan MichalevskyNoam RinetzkyMooly SagivYoni Zohar
Published in: Proc. ACM Program. Lang. (2018)
Keyphrases