Abstract Interface Behavior of Object-Oriented Languages with Monitors

zum Volltext (390 kB)   ZIP
Beteiligte Person(en) / Institution(en)Autor :
DatumErschienen :
  • Oktober 2006
Seitenbereich43 S.

We characterize the observable behavior of multi-threaded, object-oriented programs with re-entrant monitors. The observable uncertainty at the interface is captured by may- and must-approximations for potential, resp. necessary lock ownership. The concepts are formalized in an object calculus. We show the soundness of the abstractions.
Statische URLhttps://www.uni-kiel.de/journals/receive/jportal_jparticle_00000136
IDNummer des Berichts :
  • TR_0612