Re-classification and Multi-threading: FickleMT.
Mariangiola Dezani
Abstract
In this talk we consider re-classification in the presence
of multi-threading. To this aim we define a multi-threaded extension
of the language Fickle, that we call FickleMT. We define an
operational semantics and a type and effect system for the language.
Each method declaration arries the information on the possible effects
of its execution. The type and effect system statically checks this
information. The operational semantics uses this information in order
to delay the execution of some threads when this could cause
"messageNotUnderstood" errors. We prove that in the execution of a
well-typed expression such delays do not produce deadlock.