Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation

Orchard, Dominic A., Matthews, Steve (2008) Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation. Mathematics in Computer Science, 2 (1). pp. 103-122. ISSN 1661-8270. E-ISSN 1661-8289. (doi:10.1007/s11786-008-0046-6) (KAR id:57500)

PDF Author's Accepted Manuscript Language: English
Download this file (PDF/350kB)
Request a format suitable for use with assistive technology e.g. a screenreader
Official URL: http://dx.doi.org/10.1007/s11786-008-0046-6

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

Item Type:	Article
DOI/Identification number:	10.1007/s11786-008-0046-6
Uncontrolled keywords:	Semantics, interoperation, object orientation, dataflow, intensional programming, intensional objects
Divisions:	Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User:	Dominic Orchard
Date Deposited:	05 May 2017 13:20 UTC
Last Modified:	05 Nov 2024 10:47 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/57500 (The current URI for this page, for reference purposes)

University of Kent Author Information

Orchard, Dominic A..

Creator's ORCID:	https://orcid.org/0000-0002-7058-7842
CReDIT Contributor Roles:

Depositors only (login required):

Altmetric

Download Statistics

Total unique views for this document in KAR since July 2020. For more details click on the image.