Author:
Buro Samuele,Crole Roy L.,Mastroeni Isabella
Publisher
Springer International Publishing
Reference43 articles.
1. Ahmed, A., Blume, M.: An equivalence-preserving CPS translation via multi-language semantics. SIGPLAN Not. 46(9), 431–444 (2011)
2. Amato, G., Meo, M.C., Scozzari, F.: On collecting semantics for program analysis. Theor. Comput. Sci. 823, 1–25 (2020)
3. Arceri, V., Mastroeni, I.: Static program analysis for string manipulation languages. Electron. Proc. Theor. Comput. Sci. 299, 19–33 (2019)
4. Barrett, E., Bolz, C.F., Tratt, L.: Approaches to interpreter composition. Comput. Lang. Syst. Struct. 44, 199–217 (2015)
5. Benton, N.: Embedded interpreters. J. Funct. Program. 15(4), 503–542 (2005)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Towards Multi-Language Static Code Analysis;2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW);2023-10-09
2. Demystifying Issues, Challenges, and Solutions for Multilingual Software Development;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
3. Understanding the Impact of Fingerprinting in Android Hybrid Apps;2023 IEEE/ACM 10th International Conference on Mobile Software Engineering and Systems (MOBILESoft);2023-05
4. On multi-language abstraction: Towards a static analysis of multi-language programs;Formal Methods in System Design;2023-03-28
5. LiSA: A Generic Framework for Multilanguage Static Analysis;Intelligent Systems Reference Library;2023