Compile-time execution structure of object-oriented programs with practical ownership domain annotations