Nonlinear invariants for linear loops and eigenpolynomials of linear operators (Q466366): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+J10
@@ Property / Mathematics Subject Classification ID: 65J10 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6361640
@@ Property / zbMATH DE Number: 6361640 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+static program analysis
@@ Property / zbMATH Keywords: static program analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+polynomial loop invariant
@@ Property / zbMATH Keywords: polynomial loop invariant / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+eigenpolynomial of a linear operator
@@ Property / zbMATH Keywords: eigenpolynomial of a linear operator / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automatic generation problem
@@ Property / zbMATH Keywords: automatic generation problem / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10559-012-9406-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2032513864
@@ Property / OpenAlex ID: W2032513864 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+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 @@
+Q3923574
@@ Property / cites work: Q3923574 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative methods of program analysis
@@ Property / cites work: Iterative methods of program analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Discovery of invariant equalities in programs over data fields
+Normal rank
@@ Property / cites work @@
+Precise interprocedural analysis through linear algebra
+Normal rank
@@ Property / cites work @@
+Automatic Generation of Polynomial Loop Invariants
+Normal rank
@@ Property / cites work @@
+Polynomial invariants for linear loops
@@ Property / cites work: Polynomial invariants for linear loops / rank @@
+Normal rank
@@ Property / cites work @@
+Q4729341
@@ Property / cites work: Q4729341 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:466366