Mathematics in Computer Science

, Volume 2, Issue 1, pp 103–122

Integrating Lucid’s Declarative Dataflow Paradigm into Object-Orientation


DOI: 10.1007/s11786-008-0046-6

Cite this article as:
Orchard, D.A. & Matthews, S. Math.comput.sci. (2008) 2: 103. doi:10.1007/s11786-008-0046-6


The dataflow language Lucid applies concepts from intensional logic to declarative ISWIM expressions which are intensionalised relative to the dimension of time, thus introducing the notion of an expression’s history. Lucian, a language derived from Lucid, embeds dataflow into object-orientation allowing the intensionalisation of objects. Lucian introduces the notion of a declarative intensional object as the history of an object’s transformations. This paper discusses the embedding relationships and semantics of conjoining the dataflow and object-oriented paradigms to provide the language Lucian for defining intensional objects.

Mathematics Subject Classification (2000).



Semanticsinteroperationobject orientationdataflowintensional programmingintensional objects

Copyright information

© Springer 2008

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of WarwickCoventryUnited Kingdom