|
| volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 27 gevonden artikelen
| Titel: |
Abstract Interpretation Against Races |
| Auteur: |
Roberto Barbuti Stefano Cataudella Luca Tesei |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 60 (2004) nr. 1-4 pagina's 67-79 |
| Jaar: |
2004-09-10 |
| Inhoud: |
In this paper we investigate the use of abstract interpretation techniques for statically preventing race conditions. To this purpose we enrich the concurrent object calculus concĪ¶ by annotating terms with the set of "locks" owned at any time. We use an abstract form of the object calculus to check the absence of race conditions. We show that abstract interpretation is more flexible than type analyses, and it allows to certify as "race free" a larger class of programs. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 27 gevonden artikelen
| volgende >> |