On Re-classification and Multi-threading

@article{Damiani2004OnRA,
  title={On Re-classification and Multi-threading},
  author={Ferruccio Damiani and Mariangiola Dezani-Ciancaglini and Paola Giannini},
  journal={Journal of Object Technology},
  year={2004},
  volume={3},
  pages={5-30}
}
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 F ickle, that we call F ickleMT. 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… CONTINUE READING
Highly Cited
This paper has 29 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 13 extracted citations

Integrating Shadows in Model Driven Engineering for Agile Software Development

2008 International Conference on Complex, Intelligent and Software Intensive Systems • 2008
View 1 Excerpt

References

Publications referenced by this paper.
Showing 1-10 of 16 references

Re-classification and multi-threading: F ickleMT

F. Damiani, M. Dezani-Ciancaglini, P. Giannini
H. Haddad, A. Omicini, R. L. Wainwright, and L. M. Liebrock, editors, OOPS track at SAC’04, volume 2, pages 1297–1304. ACM Press • 2004
View 4 Excerpts
Highly Influenced

A type system for JVM threads

Theor. Comput. Sci. • 2003
View 1 Excerpt

Extending F ickle II, Imperial College, final year

D. Fidgett
2002
View 1 Excerpt

Implementing F ickle II on the JVM, Imperial College, final year

A. Shuttlewood
2002
View 1 Excerpt

Three Case Studies in F ickle II

S. Drossopoulou
Technical report, Imperial College • 2002
View 1 Excerpt

Implementing Fickle, Imperial College, final year

C. Anderson
2001
View 1 Excerpt