a context theory for intensional programming一种内涵编程语境理论.pdfVIP

A Context Theory for Intensional Programming Kaiyu Wan, Vasu Alagar, and Joey Paquet Department of Computer Science and Software Engineering Concordia University Montreal, Quebec H3G 1M8, Canada {ky wan,alagar,paquet@cse.concordia.ca} Abstract. In this paper, we give an overview of our current work on introduc- ing context as first-class objects in Lucid. It allows us to write programs in Lucx (Lucid enriched with contex