A Coq Library for Internal Verification of Running-Times (Q2798271): Difference between revisions

@@ Property / cites work @@
+Monads Need Not Be Endofunctors
@@ Property / cites work: Monads Need Not Be Endofunctors / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterised notions of computation
@@ Property / cites work: Parameterised notions of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Program verification through characteristic formulae
+Normal rank
@@ Property / cites work @@
+Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation
+Normal rank
@@ Property / cites work @@
+Q3651735
@@ Property / cites work: Q3651735 / rank @@
+Normal rank
@@ Property / cites work @@
+Resource bound certification
@@ Property / cites work: Resource bound certification / rank @@
+Normal rank
@@ Property / cites work @@
+Lightweight semiformal time complexity analysis for purely functional data structures
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+SPEED
@@ Property / cites work: SPEED / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Static Cost Analysis for Parallel Programs
+Normal rank
@@ Property / cites work @@
+Static prediction of heap space usage for first-order functional programs
+Normal rank
@@ Property / cites work @@
+Recursion and dynamic data-structures in bounded space
+Normal rank
@@ Property / cites work @@
+Three algorithms on Braun trees
@@ Property / cites work: Three algorithms on Braun trees / rank @@
+Normal rank
@@ Property / cites work @@
+Subset Coercions in Coq
@@ Property / cites work: Subset Coercions in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+A Hoare Logic for the State Monad
@@ Property / cites work: A Hoare Logic for the State Monad / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq
+Normal rank