-
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
