@inproceedings{marion:inria-00155288, TITLE = {{Resource control of object-oriented programs}}, AUTHOR = {Marion, Jean-Yves and P{\'e}choux, Romain}, URL = {https://inria.hal.science/inria-00155288}, BOOKTITLE = {{The International Workshop on Logic and Computational Complexity - LCC 2007}}, ADDRESS = {Wroclaw/Poland, Poland}, YEAR = {2007}, MONTH = Jul, PDF = {https://inria.hal.science/inria-00155288/file/objet.pdf}, HAL_ID = {inria-00155288}, HAL_VERSION = {v1}, }