Mathematics in Computer Science

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

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

  • John PlaiceEmail author
  • Blanca Mancilla
  • Gabriel Ditu


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



Declarative programming multidimensional programming Lucid programming language 


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