Context Analysis of Intensional Languages

In intensional languages meanings or values of intensional constructs such as variables vary in or depend on contexts of an underlying context space. The meaning or value of an construct can be defined by meanings of other constructs in different contexts by applying context switching operations. This paper proposes a graph-based formal method to analyze context relationships between intensional constructs, based on their formal intensional semantics, and its application to parallel computing of intensional programs.