We present a set-based control flow analysis for an imperative, concurrent object calculus extending the Fisher-Honsell-Mitchell functional object-oriented calculus. The analysis is shown to be sound with respect to a transition system semantics.
Keywords: concurrent object-oriented, control-flow analysis, soundness, prototype-based