A Context Theory for Intensional Programming

CRR '05 Workshop on Context Representation and Reasoning

Kaiyu Wan ; Vasu Alagar ; Joey Paquet

Others  :  http://CEUR-WS.org/Vol-136/250.pdf
PID  :  4071

来源: CEUR

【 摘 要 】

In this paper, we give an overview of our current work on introducing context as first-class objects in Lucid. It allows us to write programs in Lucx (Lucid enriched with context) in a high level of abstraction which is closer to the problem domain. We include a discussion on context theory, representation of context aggregations, and the syntax and semantic rules of Lucx. The imple- mentation of Lucx in GIPSY, a platform under development for compiling Lucid family of languages, is also discussed.