Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
SAS04: Abstract for Paper 45
The race condition checker rccjava uses a formal type system to
statically identify potential race conditions in concurrent Java
programs, but requires programmer-supplied type annotations. This
paper describes a type inference algorithm for rccjava. We show
that, 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.