A model for reasoning about JavaScript promises

Magnus Madsen, Ondrej Lhoták, Frank Tip. A model for reasoning about JavaScript promises. Proceedings of the ACM on Programming Languages, 1(OOPSLA), 2017. [doi]

Abstract

Abstract is missing.