@inproceedings{bonfante:inria-00130920, TITLE = {{Quasi-interpretation Synthesis by Decomposition : An application to higher-order programs}}, AUTHOR = {Bonfante, Guillaume and Marion, Jean-Yves and P{\'e}choux, Romain}, URL = {https://inria.hal.science/inria-00130920}, BOOKTITLE = {{ICTAC}}, ADDRESS = {Macao, China}, PUBLISHER = {{Springer}}, SERIES = {LNCS}, YEAR = {2007}, MONTH = Sep, KEYWORDS = {Quasi-interpretations ; complexity ; resource control ; modularity ; higher-order programs ; functional programs}, PDF = {https://inria.hal.science/inria-00130920/file/modu.pdf}, HAL_ID = {inria-00130920}, HAL_VERSION = {v1}, }