Objectif
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.
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Données non disponibles
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Données non disponibles
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Données non disponibles
Coordinateur
CM17 9NA Harlow
Royaume-Uni
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.