> Using these techniques we can automatically infer an approximate upper bound of the energy consumed when running a function under different platforms, using different compilers - without the need of actually running it.
Wouldn't a necessary first step be to solve the Halting Problem?
Wouldn't a necessary first step be to solve the Halting Problem?
Sorry, I haven't read the actual paper.