Onderzoeksproject IT/IF/004 (Onderzoeksactie IT)
Het onderzoek zal georganiseerd worden langs twee complementaire lijnen. Enerzijds zullen technieken voor abstracte interpretatie van parallelle (logische) programma's ontwikkeld worden. De bedoeling is om zowel specifieke toepassingen als een algemeen raamwerk te ontwikkelen. Anderzijds zal gewerkt worden op de implementatie van modellen voor parallelle uitvoering. In het bijzonder zal aandacht geschonken worden aan het bepalen van het soort globale informatie (dat kan verkregen worden door abstracte interpretatie) dat kan gebruikt worden om de efficiëntie op te voeren.
