Category Archives: research

Serious if informal descriptions of research ideas.

Lucid – into the abyss

When we discovered the dataflow interpretation of Lucid (see post, Lucid, the dataflow language) we thought we’d found the promised land. We had an attractive computing model that was nevertheless faithful to the declarative semantics of statements-as-equations. However, there was … Continue reading

Posted in research | 3 Comments

Quiz Script

Recently I’ve been working with my wife Christine (who teaches in the French Department at UVIC) on a simple system, called Quiz Script, that makes it easy and quick to generate online interactive quizzes. This is the handout we gave … Continue reading

Posted in research | 2 Comments

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

Lucid – the Origins

Many years ago Ed Ashcroft and I invented the declarative language Lucid. It’s had an interesting history. To begin with, we never intended to design a dataflow language. All we wanted was a more rigorously structured language which would make … Continue reading

Posted in research | 2 Comments

Infinitesimal Logic

I don’t know if infinitesimal logic is the best idea I’ve ever had, but it’s definitely the best name. So here’s the idea: a multivalued logic in which there are truth values that are not nearly as true as ‘standard’ … Continue reading

Posted in research | 1 Comment