Cited By
View all- Giacobazzi RRanzato F(2025)The Best of Abstract InterpretationsProceedings of the ACM on Programming Languages10.1145/37048829:POPL(1355-1385)Online publication date: 9-Jan-2025
- Cousot PWang J(2025)Calculational Design of Hyperlogics by Abstract InterpretationProceedings of the ACM on Programming Languages10.1145/37048529:POPL(446-478)Online publication date: 9-Jan-2025
- Endres MFakhoury SChakraborty SLahiri S(2024)Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?Proceedings of the ACM on Software Engineering10.1145/36607911:FSE(1889-1912)Online publication date: 12-Jul-2024
- Show More Cited By