A Control-Flow Analysis for a Calculus of Concurrent Objects

  title={A Control-Flow Analysis for a Calculus of Concurrent Objects},
  author={Paolo Di Blasio and Kathleen Fisher and Carolyn L. Talcott},
  journal={IEEE Trans. Software Eng.},
We present a set based control ow analysis for an imperative concurrent object calculus extending the Fisher Honsell Mitchell functional object oriented calculus described in The analysis is shown to be sound with respect to a transition system semantics 

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 19 references

A calculus for concurrent objects: design and set-based analysis

  • P. Di Blasio
  • PhD thesis, Universit a di Roma \La Sapienza"
  • 1997
Highly Influential
20 Excerpts

Java Security

  • G. McGraw, E. W. Felten
  • Wiley Computer Publishing
  • 1996
1 Excerpt

Similar Papers

Loading similar papers…