Proactive and adaptive energy-aware programming with mixed typechecking. - Canino, Anthony; Liu, Yu David (2017)