Author:
Jeannet Bertrand,Serwe Wendelin
Publisher
Springer Berlin Heidelberg
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The ScalaFix Equation Solver;Formal Methods;2023
2. Developing and certifying Datalog optimizations in coq/mathcomp;Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs;2021-01-17
3. Refinement of path expressions for static analysis;Proceedings of the ACM on Programming Languages;2019-01-02
4. Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis;Lecture Notes in Computer Science;2019
5. Thread-modular static analysis for relaxed memory models;Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering;2017-08-21