@inproceedings{harrison06,
  author    = {William L. Harrison},
  title     = {The Essence of Multitasking},
  booktitle = {11th International Conference on Algebraic Methodology
                  and Software Technology {(AMAST 2006)}},
  pages     = {158-172},
  month     = {July},                  
  year      = {2006},
     url_Paper = "https://harrisonwl.github.io/assets/papers/amast06.pdf",
  abstract = "This article demonstrates how a powerful and expressive abstraction from concurrency theory---monads of resumptions---plays a dual r\^{o}le 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. Code available at link.",
     url_Code = "https://harrisonwl.github.io/assets/code/EoMT.tar.gz",
}

{"_id":"LnmFAuZ65Za8e79KB","bibbaseid":"harrison-theessenceofmultitasking-2006","downloads":5,"creationDate":"2016-07-28T19:31:33.172Z","title":"The Essence of Multitasking","author_short":["Harrison, W. L."],"year":2006,"bibtype":"inproceedings","biburl":"https://harrisonwl.github.io/assets/bibliography/harrison.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["William","L."],"propositions":[],"lastnames":["Harrison"],"suffixes":[]}],"title":"The Essence of Multitasking","booktitle":"11th International Conference on Algebraic Methodology and Software Technology (AMAST 2006)","pages":"158-172","month":"July","year":"2006","url_paper":"https://harrisonwl.github.io/assets/papers/amast06.pdf","abstract":"This article demonstrates how a powerful and expressive abstraction from concurrency theory—monads of resumptions—plays a dual rôle 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. Code available at link.","url_code":"https://harrisonwl.github.io/assets/code/EoMT.tar.gz","bibtex":"@inproceedings{harrison06,\n author = {William L. Harrison},\n title = {The Essence of Multitasking},\n booktitle = {11th International Conference on Algebraic Methodology\n and Software Technology {(AMAST 2006)}},\n pages = {158-172},\n month = {July}, \n year = {2006},\n url_Paper = \"https://harrisonwl.github.io/assets/papers/amast06.pdf\",\n abstract = \"This article demonstrates how a powerful and expressive abstraction from concurrency theory---monads of resumptions---plays a dual r\\^{o}le as a programming tool\nfor concurrent applications. \nThe article demonstrates how a\nwide variety of typical OS behaviors may be specified in terms of\nresumption monads known heretofore exclusively in the literature of \nprogramming language semantics. \nWe illustrate the expressiveness of the resumption monad with the\nconstruction of an exemplary \nmultitasking kernel in the pure functional language\nHaskell. Code available at link.\",\n url_Code = \"https://harrisonwl.github.io/assets/code/EoMT.tar.gz\",\n}\n\n\n\n","author_short":["Harrison, W. L."],"key":"harrison06","id":"harrison06","bibbaseid":"harrison-theessenceofmultitasking-2006","role":"author","urls":{" paper":"https://harrisonwl.github.io/assets/papers/amast06.pdf"," code":"https://harrisonwl.github.io/assets/code/EoMT.tar.gz"},"metadata":{"authorlinks":{"harrison, w":"https://harrisonwl.github.io/etc/publications.html"}}},"search_terms":["essence","multitasking","harrison"],"keywords":[],"authorIDs":["iCiuqX2A39oLpzRv9"],"dataSources":["wAeScLDKnpPTHdYwg","uCveoExKMHQNZnZCp"]}