Research on "Formal Methods in Computing"

Re-classification and Multithreading: Fickle_MT

ABSTRACT. 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 Fickle_MT. 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.

• pdf ( © ACM, 2004 ). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of SAC'03, {ISBN:1-58113-812-1, (2004)} http://doi.acm.org/10.1145/967900.968163

  BIBTEX.

  @InProceedings{Damiani+Dezani+Giannini:SAC-2004,
     title =        {Re-classification and Multithreading: Fickle_MT},
     author =       {Ferruccio Damiani and Mariangiola Dezani-Ciancaglini 
    		   and Paola Giannini},
     booktitle =    {OOPS track at SAC'04},
     publisher =    {ACM},
     year =         {2004},
     volume     =  {2},
     pages =        {1297--1304}
  }