Cited By
View all- Bayarmagnai EMohammadi FPrébet R(2024)Algebraic Tools for Computing Polynomial Loop InvariantsProceedings of the 2024 International Symposium on Symbolic and Algebraic Computation10.1145/3666000.3669710(371-381)Online publication date: 16-Jul-2024
- Wang ZPailoor SPrakash AWang YDillig I(2024)From Batch to Stream: Automatic Generation of Online AlgorithmsProceedings of the ACM on Programming Languages10.1145/36564188:PLDI(1014-1039)Online publication date: 20-Jun-2024
- 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