• DocumentCode
    1370686
  • 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
  • Volume
    26
  • Issue
    7
  • fYear
    2000
  • fDate
    7/1/2000 12:00:00 AM
  • Firstpage
    617
  • Lastpage
    634
  • 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;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/32.859531
  • Filename
    859531
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1370686