Author:
Arslanagić Alen,Subotić Pavle,Pérez Jorge A.
Publisher
Springer International Publishing
Reference23 articles.
1. RAIL model. https://web.dev/rail/. Accessed 30 Sep 2021
2. Infer TOPL (2021). https://fbinfer.com/docs/checker-topl/
3. Arslanagić, A., Subotić, P., Pérez, J.A.: Scalable Typestate Analysis for Low-Latency Environments (Extended Version). CoRR abs/2201.10627 (2022). https://arxiv.org/abs/2201.10627
4. Arslanagić, A., Subotić, P., Pérez, J.A.: LFA checker: scalable typestate analysis for low-latency environments (2022). https://doi.org/10.5281/zenodo.6393183
5. Bierhoff, K., Aldrich, J.: Modular typestate checking of aliased objects. In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, pp. 301–320. OOPSLA 2007, Association for Computing Machinery, New York, NY, USA (2007). https://doi.org/10.1145/1297027.1297050
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bit-Vector Typestate Analysis;Formal Aspects of Computing;2023-09-13