Jeeg: temporal constraints for the synchronization of concurrent objects

@article{Milicia2005JeegTC,
  title={Jeeg: temporal constraints for the synchronization of concurrent objects},
  author={Giuseppe Milicia and Vladimiro Sassone},
  journal={Concurrency - Practice and Experience},
  year={2005},
  volume={17},
  pages={539-572}
}
We introduce Jeeg, a dialect of Java based on a declarative replacement of the synchronization mechanisms of Java that results in a complete decoupling of the ‘business’ and the ‘synchronization’ code of classes. Synchronization constraints in Jeeg are expressed in a linear temporal logic, which allows one to effectively limit the occurrence of the inheritance anomaly that commonly affects concurrent objectoriented languages. Jeeg is inspired by the current trend in aspect-oriented languages… CONTINUE READING
Highly Cited
This paper has 39 citations. REVIEW CITATIONS