A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions-Reference-Cited by-同舟云学术

A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions

Published:2016 Issue: Volume: Page:393-406
ISSN:0302-9743
Container-title:Theory and Practice of Formal Methods
language:
Short-container-title:

Author:

Steffen Martin

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-30734-3_26

Reference37 articles.

1. Ábrahám, E., de Boer, F.S., de Roever, W.-P., Steffen, M.: A deductive proof system for multithreaded Java with exceptions. Fundam. Informaticae 82(4), 391–463 (2008). (73 pages), An extended version of the 2005 conference contribution to FSEN 2005 and a reworked and shortened version of the University of Kiel, Department of Computer Science Technical report 0303

2. America, P.: Issues in the design of a parallel object-oriented language. Formal Aspects Comput. 1(4), 366–411 (1989)

3. Ancona, D., Lagorio, G., Zucca, E.: A core calculus for Java exceptions. SIGPLAN Not. 36, 16–30 (2001)

4. Lecture Notes in Computer Science;K Anton,2011

5. Baker, H., Hewitt, C.: The incremental garbage collection of processes. ACM Sigplan Not. 12, 55–59 (1977)

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

1. K‐Go: An executable formal semantics of Go language in K framework;IET Blockchain;2023-03-13

2. Operational semantics of a weak memory model with channel synchronization;Journal of Logical and Algebraic Methods in Programming;2019-02

3. A practical type system for safe aliasing;Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering;2018-10-24

4. Operational Semantics of a Weak Memory Model with Channel Synchronization;Formal Methods;2018

5. Information Flow Analysis for Go;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016