Tesard
is an implemention of a Type and Effect System to Avoid Race-conditions and Deadlocks
. You can find more details in Gerard
Boudol's "A deadlock-free semantics for shared memory concurrency"
paper.
Tesard
is based on Llama-light, an implementation of the
Caml programming language. It incorporates
code from Objective Caml: for a comparison, please see the "ocaml"
directory.