A Hoare Logic for Energy Consumption Analysis (Q3460506): Difference between revisions

@@ Property / cites work @@
+Multivariate amortized resource analysis
@@ Property / cites work: Multivariate amortized resource 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 @@
+A program logic for resources
@@ Property / cites work: A program logic for resources / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Size Analysis of First-Order Shapely Functions
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+A Hoare Logic for Energy Consumption Analysis
@@ Property / cites work: A Hoare Logic for Energy Consumption Analysis / rank @@
+Normal rank