8665 articles  [version française]
.:. Browse > By authors > Amiranoff .:.
3 documents ordered by :

fulltext access Instancewise Program Analysis
Amiranoff P., Cohen A.
N° RR-5117 (2004) [inria-00071465 - version 1]
fulltext access 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]
fulltext access Optimisation de programmes annotés par des assertions
Amiranoff P.
N° RR-3983 (2000) [inria-00072664 - version 1]