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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Plaice, J., Mancilla, B. & Ditu, G. From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming. Math.comput.sci. 2, 37–61 (2008). https://doi.org/10.1007/s11786-008-0043-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11786-008-0043-9