โ
Ferrarella, Marie
๐
Fiction
๐
2003
๐
Harlequin
๐
English
โ 107 KB
โฆ LIBER โฆ
Type inference against races
โ Scribed by Cormac Flanagan; Stephen N. Freund
- Book ID
- 104091909
- Publisher
- Elsevier Science
- Year
- 2007
- Tongue
- English
- Weight
- 436 KB
- Volume
- 64
- Category
- Article
- ISSN
- 0167-6423
No coin nor oath required. For personal study only.
โฆ Synopsis
The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supplied type annotations. This paper describes a type inference algorithm for rccjava. Due to the interaction of parameterized classes and dependent types, this type inference problem is NP-complete. This complexity result motivates our new approach to type inference, which is via reduction to propositional satisfiability. This paper describes our type inference algorithm and its performance on programs of up to 30,000 lines of code.
๐ SIMILAR VOLUMES
โ
Anderson-Dargatz, Gail
๐
Fiction
๐
2016
๐
Orca Book Publishers
๐
English
โ 255 KB
Small-town reporter Claire Abbott wakes from a nightmare, convinced a bomb will go off in the local school. And then, strangely enough, there really is a bomb scare. After the school is cleared by police and their sniffer dog, Claire is certain the threat isn't over. People are behaving strangely. C
โ
Woodhouse, Kimberley; Woodhouse, Kayla R.
๐
Fiction
๐
English
โ 161 KB
โ
Keene, Carolyn
๐
Fiction
๐
English
โ 687 KB
โ
Woodhouse, Kimberley; Woodhouse, Kayla R
๐
Fiction
๐
2011
๐
B&H Publishing Group
๐
English
โ 177 KB
โ
Woodhouse, Kimberley; Woodhouse, Kayla R
๐
Fiction
๐
2011
๐
B&H Publishing Group
๐
English
โ 168 KB