Search
Now showing items 1-1 of 1
(Research report / Forskningsrapport, 2012)
This report extends our behavioral type and effect system for detecting dealocks in [8] by polymorphism and formalizing type inference (wrt. the lock types. Our inference is defined for a simple concurrent, first-order ...