Monthly Archives: April 2011

Lucid – the dataflow language [1600 views]

Posted on April 27, 2011 by Bill Wadge

In the last post I explained how temporal logic came to the rescue and enabled equations like next(I) = I+1 to be interpreted as real equations. In this temporal logic variables like I are variables that change with time – … Continue reading →

Posted in research | 3 Comments

Lucid – the temporal language [1000 views]

Posted on April 9, 2011 by Bill Wadge

In the Origins post I explained how we (Ed Ashcroft and I) had at the beginning very modest aims – we just wanted a programming notation that was at the same time mathematical (in fact algebraic) and would allow iterative … Continue reading →

Posted in research | 1 Comment