Investigation of Performance Achievable with Highly Concurrent Interpretations of Functional Programs

Informazioni relative al progetto

ID dell’accordo di sovvenzione: 1496

Progetto chiuso

Data di avvio 1 Febbraio 1985

Data di completamento 1 Agosto 1988

Finanziato da

• European programme (EEC) for research and development in information technologies (ESPRIT), 1984-1988

Costo totale Nessun dato

Contributo UE Nessun dato

Coordinato da

STC Technology Ltd
United Kingdom

Obiettivo

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.

Programma(i)

• FP1-ESPRIT 1 - European programme (EEC) for research and development in information technologies (ESPRIT), 1984-1988

Argomento(i)

Data not available

Invito a presentare proposte

Data not available

Meccanismo di finanziamento

Data not available

Coordinatore

STC Technology Ltd

• Contributo UE: Nessun dato
• Indirizzo: London Road ; CM17 9NA Harlow ; Regno Unito
• Costo totale: Nessun dato

Partecipanti (3)

CAP GEMINI INNOVATION

Francia

• Contributo UE: Nessun dato
• Indirizzo: 118 RUE DE TOCQUEVILLE ; 75017 PARIS
• Costo totale: Nessun dato

Institut National de Recherches en Informatique et en Automatique (INRIA)

Francia

• Contributo UE: Nessun dato
• Indirizzo: Campus Universitaire de Beaulieu Avenue du Général Leclerc ; 35042 Rennes
• Costo totale: Nessun dato

University of Stirling

Regno Unito

• Contributo UE: Nessun dato
• Indirizzo: FK9 4LA Stirling
• Costo totale: Nessun dato