-
Interprocedural Array Region Analyses
Special Issue on LCPC'95 ; 29 pages -
Interprocedural Analyses of Fortran Programs
International audience -
Application of formal methods to the development of a software maintenance tool
Partial evaluation is a technique traditionally used in compilation. We have adapted this technique to the undestanding of scientific application programs during their... -
Author Retrospective for Semantical Interprocedural Parallelization: An Overv...
International audience
