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

@@ Property / describes a project that uses @@
+COSTA
@@ Property / describes a project that uses: COSTA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ResAna
@@ Property / describes a project that uses: ResAna / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3460506