Publisher
Springer Berlin Heidelberg
Reference40 articles.
1. Amtoft, T., Bandhakavi, S., Banerjee, A.: A logic for information flow in object-oriented programs. In: Morrisett and Jones [30], pp. 91–102
2. Lecture Notes in Computer Science;T. Amtoft,2010
3. Lecture Notes in Computer Science;T. Amtoft,2008
4. Lecture Notes in Computer Science;A.W. Appel,2008
5. Lecture Notes in Computer Science;A.W. Appel,2011
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Software Verification of Hyperliveness;Lecture Notes in Computer Science;2024
2. A Relational Program Logic with Data Abstraction and Dynamic Framing;ACM Transactions on Programming Languages and Systems;2022-12-31
3. Proving hypersafety compositionally;Proceedings of the ACM on Programming Languages;2022-10-31
4. Alignment Completeness for Relational Hoare Logics;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
5. Abstraction and subsumption in modular verification of C programs;Formal Methods in System Design;2021-03-23