Monthly Archives: April 2011

Lucid – the dataflow language

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

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