Author:
Lindahl Tobias,Sagonas Konstantinos
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Armstrong, J., Virding, R., Wikström, C., Williams, M.: Concurrent Programming in Erlang, 2nd edn. Prentice Hall Europe, Herfordshire (1996)
2. Blau, S., Rooth, J.: AXD 301—A new generation ATM switching system. Ericsson Review 75(1), 10–17 (1998)
3. Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Prog. Lang. Syst. 13(4), 451–490 (1991)
4. Dor, N., Rodeh, M., Sagiv, M.: CSSV: Towards a realistic tool for statically detecting all buffer overflows in C. In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pp. 155–167. ACM Press, New York (2003)
5. Lecture Notes in Computer Science;D. Engler,2004
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang;Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang;2024-08-28
2. Typing Records, Maps, and Structs;Proceedings of the ACM on Programming Languages;2023-08-30
3. InfERL: scalable and extensible Erlang static analysis;Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang;2022-09-06
4. FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp;2022 IEEE Conference on Software Testing, Verification and Validation (ICST);2022-04
5. Improving Quality of Code Review Datasets – Token-Based Feature Extraction Method;Software Quality: Future Perspectives on Software Engineering Quality;2021