The Essence of Multitasking-Reference-Cited by-同舟云学术

The Essence of Multitasking

Published:2006 Issue: Volume: Page:158-172
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

Harrison William L.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11784180_14.pdf

Reference35 articles.

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), 227–244 (2000)

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, pp. 317–331. Springer, London (2000)

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)

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the Relational Basis of Early R/G Work;Lecture Notes in Computer Science;2024

2. A Mechanized Semantic Metalanguage for High Level Synthesis;23rd International Symposium on Principles and Practice of Declarative Programming;2021-09-06

3. The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware;ACM Transactions on Embedded Computing Systems;2019-02-28

4. Effect Polymorphism in Higher-Order Logic (Proof Pearl);Journal of Automated Reasoning;2018-07-10

5. A core calculus for secure hardware;Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design;2017-09-29