Monthly Archives: October 2018

Negative Time Iteration

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

Posted in Uncategorized | Leave a comment