Cited By
View all- Campion MDalla Preda MGiacobazzi RUrban C(2024)Monotonicity and the Precision of Program AnalysisProceedings of the ACM on Programming Languages10.1145/36328978:POPL(1629-1662)Online publication date: 5-Jan-2024
- Müller MFischer MStaab RVechev M(2023)Abstract Interpretation of Fixpoint Iterators with Applications to Neural NetworksProceedings of the ACM on Programming Languages10.1145/35912527:PLDI(786-810)Online publication date: 6-Jun-2023
- Schwarz MSeidl H(2023)Octagons RevisitedStatic Analysis10.1007/978-3-031-44245-2_21(485-507)Online publication date: 22-Oct-2023
- Show More Cited By