Ziel
This project investigated the functional programming approach for achieving an efficient exploitation of highly concurrent hardware architectures. This involved measurement of the complexity and parallelism of functional programs written in the FP, Lisp and Me-Too languages. The project aimed at:
-a tool for translating Lispkit and Me-Too to FP
-tools to provide a static measure of complexity and potential for parallelism of FP programs
-an emulator for the parallel execution of functional programs.
The project investigated the functional programming approach for achieving an efficient exploitation of highly concurrent hardware architectures. This involved measurement of the complexity and parallelism of functional programs written in the functional programming (FP), Lisp and Me-Too languages. The main successs of the project has been in the static analysis of concurrency. A theory of complexity and parallelism for functional programs was developed. This was supported by development of a complexity and parallelism analysis tool (CAT). This analysis was based on the FP language and included the use of abstract types in the language. Work on the parallel interpretation facility based on DACTYL was less successful. The output from this task was a study of machine architectures suitable for functional programs.
The main success of the project has been in the static analysis of concurrency. A theory of complexity and parallelism for functional programs was developed based on the previous work of the partners. This was supported by development of a complexity and parallelism analysis tool (CAT). This analysis was based on the FP language and included the use of abstract types in the language.
Work on the parallel interpretation facility based on DACTYL was less successful. The output from this task was a study of machine architectures suitable for functional programs.
Exploitation
The CAT tool is an early version of a new generation of programming tools for concurrent systems. The parallel architectures now becoming generally available require the development of such programming tools and methods to support applications programming.
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Daten nicht verfügbar
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Daten nicht verfügbar
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Daten nicht verfügbar
Koordinator
CM17 9NA Harlow
Vereinigtes Königreich
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.