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 →
Enter your email address to subscribe to this blog and receive notifications of new posts by email.
Join 30 other followers