Towards execution time estimation in abstract machine-based languages - Mera E; Lopez P; Carro M; Hermenegildo M (Ppdp'08 - Proceedings Of The 10th International Acm Sigplan Symposium On Principles And Practice Of Declarative Programming, 2008)