-
Recent Posts
Archives
- December 2019
- November 2019
- October 2019
- June 2019
- May 2019
- April 2019
- March 2019
- October 2018
- September 2018
- June 2018
- November 2017
- June 2017
- May 2017
- April 2017
- March 2017
- March 2016
- January 2016
- December 2015
- November 2015
- October 2015
- September 2015
- July 2012
- April 2012
- March 2012
- December 2011
- May 2011
- April 2011
- March 2011
- February 2011
- July 2010
Meta
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