A Theory of Lazy Imperative Timing

TL;DR

This paper introduces a theoretical framework for lazy imperative timing, aiming to optimize program execution by delaying computations until necessary.

Contribution

It provides a novel formal theory that models lazy timing in imperative programming languages, which was not previously formalized.

Findings

A formal model of lazy imperative timing

Insights into optimization opportunities for lazy execution

Potential applications in compiler design and program analysis

Abstract

We present a theory of lazy imperative timing.