Cited By
View all- Semenyuk MDongol BHong JLanperne MPark JCerny TShahriar H(2023)Ownership-Based Owicki-Gries ReasoningProceedings of the 38th ACM/SIGAPP Symposium on Applied Computing10.1145/3555776.3577636(1685-1694)Online publication date: 27-Mar-2023
- Banerjee ANagasamudram RNaumann DNikouei M(2023)A Relational Program Logic with Data Abstraction and Dynamic FramingACM Transactions on Programming Languages and Systems10.1145/355149744:4(1-136)Online publication date: 10-Jan-2023
- Mackay JEisenbach SNoble JDrossopoulou S(2022)Necessity specifications for robustnessProceedings of the ACM on Programming Languages10.1145/35633176:OOPSLA2(811-840)Online publication date: 31-Oct-2022
- Show More Cited By