Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Dependable and Secure Computing"
DOI: 10.1109/tdsc.2022.3178836
Abstract: Callbacks are an essential mechanism for event-driven programming. Unfortunately, callbacks make reasoning challenging because they introduce behaviors where calls to the module are interleaved. We present a parametric method that, from a particular invariant of… read more here.
Keywords: effective callback; callback freedom; callback; callback free ... See more keywords