%0 Conference Paper %1 conf/pldi/CaninoL17 %A Canino, Anthony %A Liu, Yu David %B PLDI %D 2017 %E Cohen, Albert %E Vechev, Martin T. %I ACM %K dblp %P 217-232 %T Proactive and adaptive energy-aware programming with mixed typechecking. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2017.html#CaninoL17 %@ 978-1-4503-4988-8

@inproceedings{conf/pldi/CaninoL17, added-at = {2018-11-06T00:00:00.000+0100}, author = {Canino, Anthony and Liu, Yu David}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e300b96723ddad1d536771fd8deaae60/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2017}, editor = {Cohen, Albert and Vechev, Martin T.}, ee = {https://doi.org/10.1145/3062341.3062356}, interhash = {cf3b25def8713ee9cef3c5454a618e78}, intrahash = {e300b96723ddad1d536771fd8deaae60}, isbn = {978-1-4503-4988-8}, keywords = {dblp}, pages = {217-232}, publisher = {ACM}, timestamp = {2019-09-27T15:41:06.000+0200}, title = {Proactive and adaptive energy-aware programming with mixed typechecking.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2017.html#CaninoL17}, year = 2017 }