Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, and Paola
Giannini
Re-classification and multithreading:
FickleMT
In ACM Symposium on Applied Computing SAC 2004 ACM, 2004
In OOPS track
In this paper 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 signature carries the information on the
possible effects of the method 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.
[ bib |
.html |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43