Abstract Interface Behavior of Object-Oriented Languages with Monitors
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.
Vorschau
Rechte
Nutzung und Vervielfältigung:
Keine Lizenz. Es gelten die Bestimmungen des deutschen Urheberrechts (UrhG).
Bitte beachten Sie, dass einzelne Bestandteile der Publikation anderweitigen Lizenz- bzw. urheberrechtlichen Bedingungen unterliegen können.
Zitieren
Zitierform:
Ábrahám, E., Gruener, A., Steffen, M., 2006. Abstract Interface Behavior of Object-Oriented Languages with Monitors, Bericht des Instituts für Informatik. Institut für Informatik, Kiel.
Zitierform konnte nicht geladen werden.