A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Type systems provide software developers immediate feedback about a subset of correctness properties of their programs. IDE integrations often take advantage of type systems to present errors, suggest completions and even improve navigation. On the other hand, understanding the time and energy consumption of the execution of a program requires manual testing. In this paper, we identify existing work on using type systems for energy awareness, and define the requirements for a practicalarXiv:2205.15211v2 fatcat:qvy4ypxvjzcgpexikjmbozxlea