Cited By
View all- Cyphert JKincaid Z(2024)Solvable Polynomial Ideals: The Ideal Reflection for Program AnalysisProceedings of the ACM on Programming Languages10.1145/36328678:POPL(724-752)Online publication date: 5-Jan-2024
- Wang CLin F(2024)On Polynomial Expressions with C-Finite Recurrences in Loops with Nested Nondeterministic BranchesComputer Aided Verification10.1007/978-3-031-65627-9_20(409-430)Online publication date: 24-Jul-2024
- Wang CLin F(2023)Solving Conditional Linear Recurrences for Program Verification: The Periodic CaseProceedings of the ACM on Programming Languages10.1145/35860287:OOPSLA1(28-55)Online publication date: 6-Apr-2023
- Show More Cited By