TY  - RPRT
TI  - Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts
AU  - Shelly Grossman
AU  - Ittai Abraham
AU  - Guy Golan-Gueta
AU  - Yan Michalevsky
AU  - Noam Rinetzky
AU  - Mooly Sagiv
AU  - Yoni Zohar
PY  - 2018
UR  - https://arxiv.org/abs/1801.04032
ID  - 1801.04032
ER  -