@inproceedings{marion:inria-00000661, TITLE = {{Resource analysis by sup-interpretation}}, AUTHOR = {Marion, Jean-Yves and P{\'e}choux, Romain}, URL = {https://inria.hal.science/inria-00000661}, NOTE = {The original publications is available at www.springerlink.com}, BOOKTITLE = {{Eighth International Symposium on Functional and Logic Programming - FLOPS 2006}}, ADDRESS = {Fuji Susono, Japan}, EDITOR = {Masami Hagiya, Philip Wadler}, PUBLISHER = {{Springer Berlin / Heidelberg}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {3945}, PAGES = {163--176}, YEAR = {2006}, MONTH = Apr, DOI = {10.1007/11737414\_12}, KEYWORDS = {sup-interpretation ; quasi-interpretation ; dependency pairs ; polynomial space bounds}, PDF = {https://inria.hal.science/inria-00000661v2/file/fullpaper.pdf}, HAL_ID = {inria-00000661}, HAL_VERSION = {v2}, }