@Inproceedings{EPTCS28.5, author = {Cachera, David and Jobin, Arnaud }, year = {2010}, title = {Injecting Abstract Interpretations into Linear Cost Models}, editor = {Di Pierro, Alessandra and Norman, Gethin}, booktitle = {{\rm Proceedings Eighth Workshop on} Quantitative Aspects of Programming Languages, {\rm Paphos, Cyprus, 27-28th March 2010 }}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {28}, publisher = {Open Publishing Association}, pages = {64-81}, doi = {10.4204/EPTCS.28.5}, }