Document Downloads

Here is a preliminary version of the subtyping relation the Thread Checker uses, based on Featherweight Java:

• Thread Checker Subtyping Relation (PDF) (view embedded)