The essence of multitasking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4019 LNCS, Issue , 2006, Pages 158-172

  Harrison, William L ^a  

^a University of Missouri   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; CONCURRENCY CONTROL; PROGRAMMING THEORY; SEMANTICS;

CONCURRENCY THEORY; MONADS; MULTITASKING KERNEL; PROGRAMMING TOOL;

MULTITASKING;

EID: 33746042579     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11784180_14     Document Type: Conference Paper

References (35)

1. Harrison, W.: (The Essence of Multithreading Codebase) Available from www.cs.missouri.edu/~harrison/EssenceOfMultitasking.
2. Moggi, E.: An Abstract View of Programming Languages. Technical Report ECS-LFCS-90-113, Department of Computer Science, Edinburgh University (1990)
3. Papaspyrou, N., Maćoš, D.: A Study of Evaluation Order Semantics in Expressions with Side Effects. Journal of Functional Programming 10(3) (2000) 227-244
4. Hancock, P., Setzer, A.: Interactive programs in dependent type theory. In: Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic, London, UK, Springer-Verlag (2000) 317-331
5. Papaspyrou, N.: A Resumption Monad Transformer and its Applications in the Semantics of Concurrency. In: Proceedings of the 3rd Panhellenic Logic Symposium. (2001) An expanded technical report is available from the author by request.
6. Krstic, S., Launchbury, J., Pavlovic, D.: Categories of processes enriched in final coalgebras. In: Proceedings of FOSSACS'01. (2001) 303-317
7. Jacobs, B., Poll, E.: Coalgebras and Monads in the Semantics of Java. Theoretical Computer Science 291(3) (2003) 329-349
8. Plotkin, G.: A Powerdomain Construction. SIAM Journal of Computation 5(3) (1976) 452-487
9. Henderson, P.: Purely functional operating systems. In: Functional Programming and Its Applications: an Advanced Course. Cambridge Univ. Press (1982) 177-191
10. Stoye, W.: Message-based Functional Operating Systems. Science of Computer Programming 6(3) (1986) 291-311
11. Turner, D.: An Approach to Functional Operating Systems. In: Research Topics in Functional Programming. (1990) 199-217
12. Cupitt, J.: The Design and Implementation of an Operating System in a Functional Language. PhD thesis, Computing Laboratory, Univ. Kent (1992)
13. Carter, D.: Deterministic Concurrency. PhD thesis. Department of Computer Science, University of Bristol (1994)
14. Spiliopoulou, E.: Concurrent and Distributed Functional Systems. Technical Report CS-EXT-1999-240, Univ. Bristol (1999)
15. Launchbury, J., Peyton Jones, S.: Lazy functional state threads. In: Proceedings of PLDI'94. (1994) 24-35
16. Claessen, K.: A poor man's concurrency monad. Journal of Functional Programming 9(3) (1999) 313-323
17. Wand, M.: Continuation-based multiprocessing. In: Proceedings of the 1980 ACM Conference on LISP and Functional Programming, ACM Press (1980) 19-28
18. Flatt, M., Findler, R., Krishnamurthi, S., Felleisen, M.: Programming languages as operating systems (or revenge of the son of the lisp machine). In: Proceedings of ICFP'99. (1999) 138-147
19. van Weelden, A., Plasmeijer, R.: Towards a strongly typed functional operating system. In: Proceedings of IFL'02. Volume 2670 of LNCS. (2002)
20. Filinski, A.: Representing monads. In: Proceedings of POPL '94. (1994)
21. Ganz, S., Friedman, D., Wand, M.: Trampolined style. In: Proceedings of ICFP'99. (1999) 18-27
22. Harper, R., Lee, P., Pfenning, F.: The Fox project: Advanced language technology for extensible systems. Technical Report CMU-CS-98-107, CMU (1998)
23. Alexander, D., Arbaugh, W., Hicks, M., Kakkar, P., Keromytis, A., Moore, J., Gunder, C., Nettles, S., Smith, J.: The switchware active network architecture. IEEE Network (1998)
24. Schmidt, D.: Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Boston (1986)
25. Bakker, J.d., Vink, E.d.: Control Flow Semantics. Foundations of Computing Series. The MIT Press (1996)
26. Espinosa, D.: Semantic Lego. PhD thesis, Columbia University (1995)
27. Filinski, A.: Representing layered monads. In: Proceedings of POPL '99. (1999)
28. Liang, S.: Modular Monadic Semantics and Compilation. PhD thesis, Yale University (1998)
29. Peyton Jones, S., ed.: Haskell 98 Language and Libraries, the Revised Report. Cambridge University Press (2003)
30. Roscoe, W.: Theory and Practice of Concurrency. Prentice-Hall (1998)
31. Harrison, W., Hook, J.: Achieving information flow security through precise control of effects. In: 18th IEEE Computer Security Foundations Workshop (CSFW05). (2005)
32. Harrison, W., Harrison, R.: Domain specific languages for cellular interactions. In: Proceedings of the 26th Annual IEEE International Conference on Engineering in Medicine and Biology. (2004)
33. A. Regev, E. Panina, W.S.L.C.E.S.: Bioambients: An abstraction for biological compartments. Theoretical Computer Science 325(1) (2004) 141-167
34. Peyton Jones, S.: Tackling the Awkward Squad: Monadic Input/Output, Concurrency, Exceptions, and Foreign-language Calls in Haskell. In: Engineering Theories of Software Construction. (2000) 47-96
35. Peyton Jones, S., Wadler, P.: Imperative functional programming. In: Proceedings of POPL'93. (1993) 71-84