[Home] [CV] [Publications]

Publications

Minus 1a5aa4f1c08b567c9107cba729de26bc87c17ab2b2f690eb45059193a1d6f587 A Control-Flow Analysis for a Calculus of Concurrent Objects
di Blasio, P. and Fisher, K. and Talcott, C. L. - 1997

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