Reflexive transitive invariant relations: A basis for computing loop functions (Q604384): Difference between revisions

@@ Property / cites work @@
+On the lattice of specifications: Applications to a specification methodology
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing - ICTAC 2004
@@ Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5431916
@@ Property / cites work: Q5431916 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+A Heuristic for Deriving Loop Functions
@@ Property / cites work: A Heuristic for Deriving Loop Functions / rank @@
+Normal rank
@@ Property / cites work @@
+The Daikon system for dynamic detection of likely invariants
+Normal rank
@@ Property / cites work @@
+Q3925859
@@ Property / cites work: Q3925859 / 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 @@
+Affine relationships among variables of a program
@@ Property / cites work: Affine relationships among variables of a program / rank @@
+Normal rank
@@ Property / cites work @@
+Q3949940
@@ Property / cites work: Q3949940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of data flow frameworks: A unified model
+Normal rank
@@ Property / cites work @@
+Strongest invariant functions: Their use in the systematic analysis of while statements
+Normal rank
@@ Property / cites work @@
+Relational heuristics for the design of deterministic programs
+Normal rank
@@ Property / cites work @@
+The new math of computer programming
@@ Property / cites work: The new math of computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996918
@@ Property / cites work: Q3996918 / rank @@
+Normal rank
@@ Property / cites work @@
+Advanced symbolic analysis for compilers. New techniques and algorithms for symbolic program analysis and optimization.
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank