here - Stefan-Marr.de

5.7. Summary
which owns a set of objects. The domain defines for its objects how field access
and method execution are to be executed. This definition also includes thread
resumption, primitives, and global state access to cover all aspects required
to implement the semantics of concurrent programming concepts.
Third, it details the design of the OMOP by implementing two concurrent
programming concepts: immutability and Clojure agents. It shows how the
intercession handlers of the OMOP can be customized to provide the desired
language behavior.
Fourth, it documents the semantics of the OMOP in the form of a bytecodebased
interpreter. The interpreter is changed so as to check for every relevant
operation whether it executes in the enforce mode. If this is the case, the
interpreter triggers intercession handlers instead of performing the operation
directly.
Finally, the differences between the OMOP and the related work are discussed
to argue that the OMOP is novel but based on existing work.
135