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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-12466-7_6
+Normal rank
@@ Property / OpenAlex ID @@
+W1600584807
@@ Property / OpenAlex ID: W1600584807 / rank @@
+Normal rank
@@ 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