Instituto de Tecnología del Conocimiento (ITC)
Centro/Instituto
Tel Aviv University
Tel Aviv, IsraelPublicaciones en colaboración con investigadores/as de Tel Aviv University (2)
2023
-
Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks
IEEE Transactions on Dependable and Secure Computing, Vol. 20, Núm. 3, pp. 2256-2273
2020
-
Taming callbacks for smart contract modularity
Proceedings of the ACM on Programming Languages, Vol. 4, Núm. OOPSLA