An FP Compiler for Shared Memory Multiprocessors

FP ist eine einfache funktionale Programmiersprache mit starker algebraischer Struktur, die John Backus 1977 anläßlich der Verleihung des Turing-Awards vorgeschlagen hat. Wir beschreiben einen FP compiler für shared-memory Multiprozessoren, der die algebraische Struktur der Sprache nutzt um in einigen Fällen die explizite Erzeugung von Zwischenergebnissen zu umgehen, und statische und dynamische untere Schranken für Funktionen abzuleiten, die genutzt werden um scheduling-Entscheidungen zu treffen.
Robert Hödicke