Integrating Lucid’s Declarative Dataflow Paradigm into Object-Orientation
- 40 Downloads
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
Keywords.Semantics interoperation object orientation dataflow intensional programming intensional objects
Unable to display preview. Download preview PDF.