Computing polynomial program invariants (Q2390319): Difference between revisions

@@ Property / DOI @@
-.1016/j.ipl.2004.05.004
@@ Property / DOI: 10.1016/j.ipl.2004.05.004 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ipl.2004.05.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2003141394
@@ Property / OpenAlex ID: W2003141394 / rank @@
+Normal rank
@@ Property / cites work @@
+Countable nondeterminism and random assignment
@@ Property / cites work: Countable nondeterminism and random assignment / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic generation of invariants and intermediate assertions
+Normal rank
@@ Property / cites work @@
+Q4222883
@@ Property / cites work: Q4222883 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4162449
@@ Property / cites work: Q4162449 / rank @@
+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 @@
+Q2763673
@@ Property / cites work: Q2763673 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411947
@@ Property / cites work: Q4411947 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Precise interprocedural analysis through linear algebra
+Normal rank
@@ Property / cites work @@
+Non-linear loop invariant generation using Gröbner bases
+Normal rank
@@ Property / DOI @@
+.1016/J.IPL.2004.05.004
@@ Property / DOI: 10.1016/J.IPL.2004.05.004 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2390319