A2. Het uitbaten van parallellisme in logisch programmeren

Het oorspronkelijke projectvoorstel voorzag in 11 manjaar en bevatte twee luiken :

• de ontwikkeling van abstracte interpretatie voor parallelle logische programmeertalen
• de implementatie van parallelle uitvoeringsmodellen.

Uiteindelijk werd slechts 5.5. manjaar toegekend. Dit was onvoldoende om twee nieuwe onderzoeksrichtingen helemaal uit te bouwen.

Dankzij de parallelle financiering via de ESPRIT-projecten PEPMA ('89-'92) en ACCLAIM ('92-'95) en het voorbereidend werk in project RFO/AI/02 ('87- '91) werd een ernstige inspanning geleverd rond het tweede luik : een parallelle versie van AKL werd volledig geïmplementeerd. De samenwerking (en competitie) met SICS (Swedish Institute of Computer Science) was daarbij van groot belang. Het implementatie-ontwerp voor parAKL werd gepubliceerd in PLILP'93 en nieuwe optimalisatie in verband met de reductie van het aantal niet-deterministische promoties en copy operaties, in JICSLP'94. Dit werk werd afgerond met een doctoraat van een van de medewerkers (Remco Moolenaar) in 1995.

Het eerste luik werd grondig bijgestuurd en een beperkt deel van het budget werd gebruikt ter aanvulling van onderzoek rond abstracte interpretatie dat via andere projecten werd gefinancierd : GOA ('93-'97) en ESPRIT project PRINCE ('90-'94). Het onderzoek werd geconcentreerd op de verdere uitbouw van abstracte interpretatie voor gewone logische programma's en voor logische programma's met beperkingen. In dit onderzoek werden opmerkelijk goede resultaten behaald : niet minder dan 3 publikaties vonden hun weg naar het top tijdschrift ACM Transactions on Programming Languages And Systems (TOPLAS) :

• een studie rond het hergebruik van gegevensstructuren (het voorkomen van ontoegankelijke structuren die via garbage collectie moeten opgeruimd worden) die gestart werd tijdens project RFO/AI/02 ('87-'91) werd afgerond (TOPLAS, 1994).
• in samenwerking met M. Codish (die in ons labo verbleef van 2/1992 tot 9/1993) en met de groep van M. Hermenegildo (UPMadrid) werd een studie gemaakt over het combineren van diverse domeinen en het effect op de analysetijd en de precisie (TOPLAS 1995).
• in samenwerking met de groep van M. Hermenegildo werd het door onze groep ontwikkelde raamwerk voor de analyse van logische programma's uitgebreid tot een raamwerk voor logische programma's met beperkingen en werden een aantal toepassingen uitgewerkt (TOPLAS, ter perse).

Daarnaast werden resultaten gepubliceerd in talrijke conferenties en verschenen verschillende artikelen in de Journal of Logic Programming :

• in 1991 en 1992 telkens een artikel gebaseerd op werk tijdens RFO/AI/02.
• in 1995 werk over bottom-up groundness analyse van logische programma's.
• in 1996 (ter perse) over freeness analyse van logische programma's.