Monthly Archives: October 2018

Lucid is based on a simple temporal logic. The time model follows from formalizing iteration as it appears in imperative programs with, say, while or for loops. In this model there is a first or initial time point, and every … Continue reading →