Fencing off go: liveness and safety for channel-based programming-Reference-Cited by-同舟云学术

Fencing off go: liveness and safety for channel-based programming

Published:2017-01 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
language:
Short-container-title:

Author:

Lange Julien¹,Ng Nicholas¹,Toninho Bernardo¹,Yoshida Nobuko¹

Affiliation:

1. Imperial College London, UK

Funder

Engineering and Physical Sciences Research Council

Seventh Framework Programme

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3009837.3009847

Reference47 articles.

1. Collection of Golang concurrency patterns. https://github. com/stillwater-sc/concurrency. Collection of Golang concurrency patterns. https://github. com/stillwater-sc/concurrency.

2. Tool chain. http://mrg.doc.ic.ac.uk/tools/gong. Tool chain. http://mrg.doc.ic.ac.uk/tools/gong.

3. Andrew Gerrand. Share Memory By Communicating. https:// blog.golang.org/share-memory-by-communicating. Andrew Gerrand. Share Memory By Communicating. https:// blog.golang.org/share-memory-by-communicating.

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

1. Programming Language Implementations with Multiparty Session Types;Lecture Notes in Computer Science;2024

2. Enabling Go Program Analysis in Rascal;2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation (SCAM);2023-10-02

3. Automated verification of concurrent go programs via bounded model checking;Automated Software Engineering;2023-08-26

4. Partially Typed Multiparty Sessions;Electronic Proceedings in Theoretical Computer Science;2023-08-21

5. MAG$$\pi $$: Types for Failure-Prone Communication;Programming Languages and Systems;2023