Cited By
View all- Ascari FBruni RGori R(2024)Limits and Difficulties in the Design of Under-Approximation Abstract DomainsACM Transactions on Programming Languages and Systems10.1145/366601446:3(1-31)Online publication date: 10-Oct-2024
- Dardinier TMüller P(2024)Hyper Hoare Logic: (Dis-)Proving Program HyperpropertiesProceedings of the ACM on Programming Languages10.1145/36564378:PLDI(1485-1509)Online publication date: 20-Jun-2024
- Zilberstein NSaliling ASilva A(2024)Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational EffectsProceedings of the ACM on Programming Languages10.1145/36498218:OOPSLA1(276-304)Online publication date: 29-Apr-2024
- Show More Cited By