A static verification framework for message passing in Go using behavioural types-Reference-Cited by-同舟云学术

A static verification framework for message passing in Go using behavioural types

Published:2018-05-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 40th International Conference on Software Engineering
language:
Short-container-title:

Author:

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

Affiliation:

1. University of Kent

2. Imperial College London

Funder

EPSRC

Publisher

ACM

Link

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

Reference44 articles.

1. Behavioral Types in Programming Languages

2. SSA is functional programming

3. Cyrille Artho Masami Hagiya Richard Potter Yoshinori Tanabe Franz Weitl and Mitsuharu Yamamoto. 2013. Software model checking for distributed systems with selector-based non-blocking communication. In ASE. 169--179. 10.1109/ASE.2013.6693077 Cyrille Artho Masami Hagiya Richard Potter Yoshinori Tanabe Franz Weitl and Mitsuharu Yamamoto. 2013. Software model checking for distributed systems with selector-based non-blocking communication. In ASE. 169--179. 10.1109/ASE.2013.6693077

4. The Go Authors. 2013. package ssa. http://golang.org/x/tools/go/ssa. (2013). http://golang.org/x/tools/go/ssa. The Go Authors. 2013. package ssa. http://golang.org/x/tools/go/ssa. (2013). http://golang.org/x/tools/go/ssa.

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

1. Separation and Encodability in Mixed Choice Multiparty Sessions;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

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

3. Effective Concurrency Testing for Go via Directional Primitive-Constrained Interleaving Exploration;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

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

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