@article{marion:inria-00446057, TITLE = {{Sup-interpretations, a semantic method for static analysis of program resources}}, AUTHOR = {Marion, Jean-Yves and P{\'e}choux, Romain}, URL = {https://inria.hal.science/inria-00446057}, JOURNAL = {{ACM Transactions on Computational Logic}}, PUBLISHER = {{Association for Computing Machinery}}, VOLUME = {10}, NUMBER = {4}, PAGES = {30 p.}, YEAR = {2009}, MONTH = Jan, DOI = {10.1145/1555746.1555751}, KEYWORDS = {Resources control ; static analysis of first order languages}, PDF = {https://inria.hal.science/inria-00446057/file/333pechoux.pdf}, HAL_ID = {inria-00446057}, HAL_VERSION = {v1}, }