A Control-Flow Analysis for a Calculus of Concurrent Objects (1997)
Cached
Download Links
- [web.dia.uniroma3.it]
- [www.inf.uniroma3.it]
- DBLP
Other Repositories/Bibliography
by
Paolo Di Blasio
,
Kathleen Fisher Z
,
Carolyn Talcott X
BibTeX
@MISC{Blasio97acontrol-flow,
author = {Paolo Di Blasio and Kathleen Fisher Z and Carolyn Talcott X},
title = {A Control-Flow Analysis for a Calculus of Concurrent Objects},
year = {1997}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 [5]. The analysis is shown to be sound with-respect to a transition system semantics.
