Algebra-based synthesis of loops and their invariants (invited paper) (Q2234055): Difference between revisions

@@ Property / cites work @@
+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
+Normal rank
@@ Property / cites work @@
+Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial invariants by linear algebra
@@ Property / cites work: Polynomial invariants by linear algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Automating string processing in spreadsheets using input-output examples
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Invariants for Affine Programs
@@ Property / cites work: Polynomial Invariants for Affine Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra-based synthesis of loops and their invariants (invited paper)
+Normal rank
@@ Property / cites work @@
+Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences
+Normal rank
@@ Property / cites work @@
+Aligator.jl -- a Julia package for loop invariant generation
+Normal rank
@@ Property / cites work @@
+Invariant Generation for Multi-Path Loops with Polynomial Assignments
+Normal rank
@@ Property / cites work @@
+Affine relationships among variables of a program
@@ Property / cites work: Affine relationships among variables of a program / rank @@
+Normal rank
@@ Property / cites work @@
+The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
+Normal rank
@@ Property / cites work @@
+Reasoning Algebraically About P-Solvable Loops
@@ Property / cites work: Reasoning Algebraically About P-Solvable Loops / rank @@
+Normal rank
@@ Property / cites work @@
+A Deductive Approach to Program Synthesis
@@ Property / cites work: A Deductive Approach to Program Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Computing polynomial program invariants
@@ Property / cites work: Computing polynomial program invariants / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic generation of polynomial invariants of bounded degree using abstract interpretation
+Normal rank
@@ Property / cites work @@
+Generating all polynomial invariants in simple loops
+Normal rank
@@ Property / cites work @@
+Non-linear loop invariant generation using Gröbner bases
+Normal rank
@@ Property / cites work @@
+A Data Driven Approach for Algebraic Loop Invariants
+Normal rank
@@ Property / cites work @@
+From program verification to program synthesis
@@ Property / cites work: From program verification to program synthesis / rank @@
+Normal rank