Author:
Nicolay Jens,Stiévenart Quentin,De Meuter Wolfgang,De Roover Coen
Publisher
Springer International Publishing
Reference26 articles.
1. Andreasen, E.S., Møller, A., Nielsen, B.B.: Systematic approaches for increasing soundness and precision of static analyzers. In: Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis, SOAP@PLDI 2017, pp. 31–36 (2017)
2. Lecture Notes in Computer Science;P Cousot,2002
3. Earl, C., Might, M., Van Horn, D.: Pushdown control-flow analysis of higher-order programs. In: Proceedings of the 2010 Workshop on Scheme and Functional Programming (Scheme 2010) (2010)
4. Flanagan, C., Sabry, A., Duba, B., Felleisen, M.: The essence of compiling with continuations. ACM SIGPLAN Not. 28(6), 237–247 (1993)
5. Fulgham, B., Gouy, I.: The computer language benchmarks game (2009). http://shootout.alioth.debian.org
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Cross-Level Debugging for Static Analysers;Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering;2023-10-23
2. Change Pattern Detection for Optimising Incremental Static Analysis;2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation (SCAM);2023-10-02
3. Result Invalidation for Incremental Modular Analyses;Lecture Notes in Computer Science;2023
4. MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis;Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering;2023
5. Summary-Based Compositional Analysis for Soft Contract Verification;2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM);2022-10