Edison Mera Pedro López-García Manuel Carro Manuel V. Hermenegildo Towards execution time estimation in abstract machine-based languages. 174-184 2008 PPDP http://doi.acm.org/10.1145/1389449.1389471 conf/ppdp/2008 db/conf/ppdp/ppdp2008.html#MeraLCH08