A Hoare Logic for Energy Consumption Analysis
DOI10.1007/978-3-319-12466-7_6zbMath1445.68054OpenAlexW1600584807MaRDI QIDQ3460506
Bernard van Gastel, Marko van Eekelen, Rody Kersten, Paolo Parisen Toldin
Publication date: 7 January 2016
Published in: Foundational and Practical Aspects of Resource Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-12466-7_6
Logic in computer science (03B70) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Mathematical problems of computer architecture (68M07) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
Uses Software
Cites Work
This page was built for publication: A Hoare Logic for Energy Consumption Analysis