Article

Mathematics in Computer Science

, Volume 2, Issue 1, pp 103-122

Integrating Lucid’s Declarative Dataflow Paradigm into Object-Orientation

  • Dominic A. OrchardAffiliated withDepartment of Computer Science, University of Warwick Email author 
  • , Steve MatthewsAffiliated withDepartment of Computer Science, University of Warwick

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

Abstract.

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