Cited By
View all- Rivera JFranchetti FPüschel M(2024)Floating-Point TVPI Abstract DomainProceedings of the ACM on Programming Languages10.1145/36563958:PLDI(442-466)Online publication date: 20-Jun-2024
- Schwarz MSeidl H(2023)Octagons RevisitedStatic Analysis10.1007/978-3-031-44245-2_21(485-507)Online publication date: 22-Oct-2023
- Schwarz MSaan SSeidl HErhard JVojdani V(2023)Clustered Relational Thread-Modular Abstract Interpretation with Local TracesProgramming Languages and Systems10.1007/978-3-031-30044-8_2(28-58)Online publication date: 22-Apr-2023
- Show More Cited By