| Under consideration for the Journal of Functional Programming 1 What is the Meaning of These Constant Interruptions? (2008) | |||||||||||||||
Abstract | |||||||||||||||
| Interrupts are important for writing robust, modular programs, but are traditionally viewed as being difficult from a semantic perspective. In this article we present a simple, formally justified, semantics for interrupts. Our approach is to consider a minimal high-level language and a minimal low-level machine with support for interrupts, give each a semantics, and then relate these semantics via a compiler. In this manner we obtain two different perspectives on the problem, formally shown to be equivalent, which gives greater confidence in the correctness of our semantics. 1 | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||