Attention

The Theory is now available at NeKernel.org.

Abstract:

An execution domain defines a boundary for execution semantics, resource visibility, and control flow.

Let C denote an execution domain in an execution context E.

Let D be of same type of C but of a different execution context.

Properties:

• C shall be not equal to D, as C has a different execution context than D.
• C may be composed of sub-programs within the execution context E.

On Execution Contexts:

Execution contexts are treated as abstract semantic parameters, and execution domains as abstract structures indexed by those parameters.

Author:

• Amlal El Mahrouss - amlal@nekernel.org