Mathematics in Computer Science

, Volume 2, Issue 1, pp 37–61 | Cite as

From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming

Article

Abstract.

We present the development of the Lucid language from the Original Lucid of the mid-1970s to the TransLucid of today. Each successive version of the language has been a generalisation of previous languages, but with a further understanding of the problems at hand.

The Original Lucid (1976), originally designed for purposes of formal verification, was used to formalise the iteration in while-loop programs. The pLucid language (1982) was used to describe dataflow networks. Indexical Lucid (1987) was introduced for intensional programming, in which the semantics of a variable was understood as a function from a universe of possible worlds to ordinary values. With TransLucid, and the use of contexts as firstclass values, programming can be understood in a Cartesian framework.

Mathematics Subject Classification (2000).

68N15 

Keywords.

Declarative programming multidimensional programming Lucid programming language 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer 2008

Authors and Affiliations

  1. 1.School of Computer Science and EngineeringThe University of New South Wales, UNSWSydneyAustralia

Personalised recommendations