Algebra-based synthesis of loops and their invariants (invited paper)
From MaRDI portal
Publication:2234055
DOI10.1007/978-3-030-67067-2_2zbMath1472.68036arXiv2103.03599OpenAlexW3120927816MaRDI QIDQ2234055
Andreas Humenberger, Laura Kovács
Publication date: 18 October 2021
Full work available at URL: https://arxiv.org/abs/2103.03599
Related Items (1)
Cites Work
- Unnamed Item
- The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
- Automatic generation of polynomial invariants of bounded degree using abstract interpretation
- Affine relationships among variables of a program
- Aligator.jl -- a Julia package for loop invariant generation
- Polynomial invariants by linear algebra
- Algebra-based synthesis of loops and their invariants (invited paper)
- Computing polynomial program invariants
- Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
- Generating all polynomial invariants in simple loops
- Invariant Generation for Multi-Path Loops with Polynomial Assignments
- Non-linear loop invariant generation using Gröbner bases
- A Deductive Approach to Program Synthesis
- Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases
- Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences
- Polynomial Invariants for Affine Programs
- From program verification to program synthesis
- A Data Driven Approach for Algebraic Loop Invariants
- Automating string processing in spreadsheets using input-output examples
- Reasoning Algebraically About P-Solvable Loops
- Automata, Languages and Programming
- An axiomatic basis for computer programming
This page was built for publication: Algebra-based synthesis of loops and their invariants (invited paper)
