Mathematics in Computer Science

, Volume 2, Issue 1, pp 103–122 | Cite as

Integrating Lucid’s Declarative Dataflow Paradigm into Object-Orientation



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).

68N15 68N19 68Q55 


Semantics interoperation object orientation dataflow intensional programming intensional objects 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer 2008

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of WarwickCoventryUnited Kingdom

Personalised recommendations