We gratefully acknowledge support from
the Simons Foundation and member institutions.

No authors of 1810.09610 can endorse.

A Theory of Lazy Imperative Timing

Eric C. R. Hehner is not registered as an owner of this paper. (why?)