Author:
Wood Tim,Drossopolou Sophia,Lahiri Shuvendu K.,Eisenbach Susan
Publisher
Springer Berlin Heidelberg
Reference47 articles.
1. Banerjee, A., Schmidt, D.A., Nikouei, M.: Relational logic with framing and hypotheses. In: FSTTCS (2016)
2. de Barker, J.W.: Axiomatics of simple assignment statements. In: MR 94 (1968)
3. Lecture Notes in Computer Science;M Barnett,2006
4. Lecture Notes in Computer Science;G Barthe,2013
5. Barthe, G., Crespo, J.M., Kunz, C.: Product programs and relational program logics. J. Logical Algebraic Methods Program. 85(5), 847–859 (2016)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proving and Disproving Equivalence of Functional Programming Assignments;Proceedings of the ACM on Programming Languages;2023-06-06
2. A Relational Program Logic with Data Abstraction and Dynamic Framing;ACM Transactions on Programming Languages and Systems;2022-12-31
3. PEQtest: Testing Functional Equivalence;Fundamental Approaches to Software Engineering;2022
4. Alive2: bounded translation validation for LLVM;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
5. PEQCHECK: Localized and Context-aware Checking of Functional Equivalence;2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE);2021-05