A Control-Flow Analysis for a Calculus of Concurrent Objects

@article{Blasio2000ACA,
  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.},
  year={2000},
  volume={26},
  pages={617-634}
}
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.

References

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…