Cited By
View all- Xu QSanan DHou ZLuan XWatt CLiu Y(2025)Generically Automating Separation Logic by Functors, Homomorphisms, and ModulesProceedings of the ACM on Programming Languages10.1145/37049039:POPL(1992-2024)Online publication date: 9-Jan-2025
- Liu PChen SLiu JXu YCao FWu G(2023)An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capabilityKnowledge-Based Systems10.1016/j.knosys.2022.110217261:COnline publication date: 15-Feb-2023
- Paraskevopoulou ZLi JAppel A(2021)Compositional optimizations for CertiCoqProceedings of the ACM on Programming Languages10.1145/34735915:ICFP(1-30)Online publication date: 19-Aug-2021
- Show More Cited By