Programming with Managed Time
Programming with Managed Time
Sean McDirmid,Jonathan Edwards
2014 · DOI: 10.1145/2661136.2661145
SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software · 12 Citations
TLDR
Glitch is introduced as a form of managed time that replays code for an appearance of simultaneous memory updates, avoiding the need for manual order and restricting the imperative model while retaining the basic concepts of memory access and control flow.