Author:
Midtgaard Jan,Nielson Flemming,Nielson Hanne Riis
Publisher
Springer International Publishing
Reference34 articles.
1. Lecture Notes in Computer Science;V Botbol,2017
2. Brzozowski, J.A.: Derivatives of regular expressions. J. ACM 11(4), 481–494 (1964)
3. Colby, C.: Analyzing the communication topology of concurrent programs. In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 202–213 (1995)
4. Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: Proceedings of the Second International Symposium on Programming, pp. 106–130. Dunod, France (1976)
5. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the Fourth Annual ACM Symposium on Principles of Programming Languages, pp. 238–252 (1977)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Enabling Go Program Analysis in Rascal;2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation (SCAM);2023-10-02
2. Automated verification of concurrent go programs via bounded model checking;Automated Software Engineering;2023-08-26
3. Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10
4. Automated Verification of Go Programs via Bounded Model Checking;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11
5. GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs;2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2021-02-27