The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.07 - July (2000 vol.26)
pp: 617-634
ABSTRACT
<p><b>Abstract</b>—We present a set-based control flow analysis for an imperative, concurrent object calculus extending the Fisher-Honsell-Mitchell functional object-oriented calculus described in [<ref type="bib" rid="bibE06171">1</ref>]. The analysis is shown to be sound with respect to a transition-system semantics.</p>
INDEX TERMS
Concurrency, object-oriented, control-flow analysis, soundness, prototype-based.
CITATION
Paolo Di Blasio, Kathleen Fisher, Carolyn Talcott, "A Control-Flow Analysis for a Calculus of Concurrent Objects", IEEE Transactions on Software Engineering, vol.26, no. 7, pp. 617-634, July 2000, doi:10.1109/32.859531
7 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool