Algebra-Based Loop Analysis

DOI10.1145/3597066.3597150OpenAlexW4383213594MaRDI QIDQ6060345

Laura Kovács

Publication date: 3 November 2023

Published in: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3597066.3597150

zbMATH Keywords

polynomial idealsprogram verificationloop invariantsalgebraic recurrencesloop synthesis

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites Work

• Aligator.jl -- a Julia package for loop invariant generation
• Invariant Generation for Multi-Path Loops with Polynomial Assignments
• Aligator: A Mathematica Package for Invariant Generation (System Description)
• Reasoning Algebraically About P-Solvable Loops
• An axiomatic basis for computer programming
• Distribution estimation for probabilistic loops
• Algebra-Based Reasoning for Loop Synthesis
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebra-Based Loop Analysis