Author Description

Upon these theoretical foundations, this thesis presents the integration into the GIPSY of Lucx's context and context calculus as defined in Wan's PhD thesis. We first provide the construction of Lucx's compiler, including building the parser and extending the existing semantic analyzer. Then we present how the concept of context has been abstracted into a new type variant of the GIPSY type system. After that, we specify how the context calculus operators have been implemented within the context type. And finally, we demonstrate our testing strategies on each component of Lucx to justify all the implementation efforts.