Selectively-amortized resource bounding (Q2145338): Difference between revisions

@@ Property / cites work @@
+More Precise Yet Widely Applicable Cost Analysis
@@ Property / cites work: More Precise Yet Widely Applicable Cost Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Amortised Resource Analysis with Separation Logic
@@ Property / cites work: Amortised Resource Analysis with Separation Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Automated resource analysis with Coq proof objects
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Circular Compositional Program Proofs via Abduction
+Normal rank
@@ Property / cites work @@
+A fistful of dollars: formalizing asymptotic complexity claims via deductive program verification
+Normal rank
@@ Property / cites work @@
+Q5875426
@@ Property / cites work: Q5875426 / rank @@
+Normal rank
@@ Property / cites work @@
+SPEED
@@ Property / cites work: SPEED / rank @@
+Normal rank
@@ Property / cites work @@
+Multivariate amortized resource analysis
@@ Property / cites work: Multivariate amortized resource analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Towards automatic resource bound analysis for OCaml
+Normal rank
@@ Property / cites work @@
+Polynomial Invariants for Affine Programs
@@ Property / cites work: Polynomial Invariants for Affine Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Type-directed bounding of collections in reactive programs
+Normal rank
@@ Property / cites work @@
+Completing the temporal picture
@@ Property / cites work: Completing the temporal picture / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity and resource bound analysis of imperative programs using difference constraints
+Normal rank
@@ Property / cites work @@
+Amortized Computational Complexity
@@ Property / cites work: Amortized Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Program Slicing
@@ Property / cites work: Program Slicing / rank @@
+Normal rank