TY - JOUR AU - Albert Albiol, Elvira AU - Arenas Sánchez, Purificación AU - Genaim, Samir AU - Puebla, Germán PY - 2015 DO - 10.1016/j.scico.2014.12.001 SN - 0167-6423 UR - https://hdl.handle.net/20.500.14352/24370 T2 - Science of Computer Programming AB - Automatic cost analysis has significantly advanced in the last few years. Nowadays, a number of cost analyzers exist which automatically produce upperand/ or lower-bounds on the amount of resources required to execute a program.Cost analysis has a... LA - eng M2 - 483 PB - Elsevier KW - Resource analysis KW - Cost analysis KW - Function comparison KW - Upper/lower bounds TI - A practical comparator of cost functions and its applications TY - journal article VL - 111 ER -