The Essence of Multitasking

This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. The article demonstrates how a wide variety of typical OS behaviors may be specified in terms of resumption monads known heretofore exclusively in the literature of programming language semantics. We illustrate the expressiveness of the resumption monad with the construction of an exemplary multitasking kernel in the pure functional language Haskell.

• Type: Conference
• Year: 2006
• Where: AMAST
• Authors: William L. Harrison
• Keywords: AMAST 2006, Programming Language Semantics, Resumption Monad, Software Engineering, Typical Os Behaviors