Research project IT/IF/004 (Research action IT)
The research will be organized on two complementary fronts. Firstly, techniques will be developed for the abstract interpretation of parallel (software) programs with the objective of establishing specific applications and a general framework. Secondly, the research is aimed at implementing models with a view to parallel operation. Special attention will be given to defining the types of global data (which can be achieved through abstract interpretation) that can be used to improve efficiency.
