Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (Q3075478): Difference between revisions

@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional shape analysis by means of bi-abduction
+Normal rank
@@ Property / cites work @@
+Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Q4174789
@@ Property / cites work: Q4174789 / rank @@
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Q4738384
@@ Property / cites work: Q4738384 / rank @@
+Normal rank
@@ Property / cites work @@
+A parametric segmentation functor for fully automatic and scalable array content analysis
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Static Contract Checking with Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Computing Procedure Summaries for Interprocedural Analysis
+Normal rank
@@ Property / cites work @@
+Q4162449
@@ Property / cites work: Q4162449 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic execution and program testing
@@ Property / cites work: Symbolic execution and program testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4024014
@@ Property / cites work: Q4024014 / rank @@
+Normal rank
@@ Property / cites work @@
+Sufficient Preconditions for Modular Assertion Checking
+Normal rank
@@ Property / cites work @@
+Q5624635
@@ Property / cites work: Q5624635 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank