.:. Browse > By authors > Amiranoff .:.

3 documents ordered by : Date Title first author name document type Submit date

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]