Author:
Bruni Roberto,Giacobazzi Roberto,Gori Roberta,Ranzato Francesco
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Monotonicity and the Precision of Program Analysis;Proceedings of the ACM on Programming Languages;2024-01-05
2. Demystifying Template-Based Invariant Generation for Bit-Vector Programs;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
3. Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning;Proceedings of the ACM on Programming Languages;2023-04-06
4. A Correctness and Incorrectness Program Logic;Journal of the ACM;2023-03-25
5. Monadic second-order incorrectness logic for GP 2;Journal of Logical and Algebraic Methods in Programming;2023-01