Title :
A control-flow analysis for a calculus of concurrent objects
Author :
Blasio, Paolo Di ; Fisher, Kathleen ; Talcott, Carolyn
Author_Institution :
Arthur Andersen MBA, Rome, Italy
fDate :
7/1/2000 12:00:00 AM
Abstract :
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 Fisher, Honsell and Mitchell, (1993). The analysis is shown to be sound with respect to a transition-system semantics
Keywords :
calculus; concurrency theory; object-oriented programming; program diagnostics; calculus of concurrent objects; concurrency; concurrent object calculus; control-flow analysis; object-oriented; prototype-based; soundness; Calculus; Concurrent computing; Data flow computing; Information analysis; Object oriented programming; Performance analysis; Programming profession; Prototypes; Runtime; Software safety;
Journal_Title :
Software Engineering, IEEE Transactions on
