.:. Consultation > Par auteur > Amiranoff .:.

3 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Instancewise Program Analysis Amiranoff P., Cohen A. N° RR-5117 (2004) [inria-00071465 - version 1]

Variables d'induction généralisées pour l'analyse par instances de programmes récursifs Amiranoff P., Cohen A., Feautrier P. N° RR-4252 (2001) [inria-00072336 - version 1]

Optimisation de programmes annotés par des assertions Amiranoff P. N° RR-3983 (2000) [inria-00072664 - version 1]