Complete Context Calculus Design and Implementation in GIPSY
Formal Languages and Automata Theory
2010-02-24 v1 Logic in Computer Science
Programming Languages
Abstract
This paper presents the integration into the GIPSY of Lucx's context calculus defined in Wan's PhD thesis. We start by defining different types of tag sets, then we explain the concept of context, the types of context and the context calculus operators. Finally, we present how context entities have been abstracted into Java classes and embedded into the GIPSY system.
Cite
@article{arxiv.1002.4392,
title = {Complete Context Calculus Design and Implementation in GIPSY},
author = {Xin Tong and Joey Paquet and Serguei A. Mokhov},
journal= {arXiv preprint arXiv:1002.4392},
year = {2010}
}
Comments
21 page; 18 listings; 2 figures; a complete version of the referenced simple context calculus implementation