Obiettivo
Functional programming is a declarative method for writing programs. It satisfies some of the basic requirements of the software engeneering. Exactly for these reasons formal methods have been developed for studying the semantics of paradigmatic functional languages. These methods aim to extract operational properties, induced by some given abstract machine, out from denotational properties, induced by mathematical structures (2, 3, 7). This approach implies that it is basic to have a classification as much complete and abstract as possible of the class of the suitable mathematical structures yielding computational properties.
In case we take the call-by-name A-calculus AB (1) as paradigmatic functional language, we have a well-known and stable situation, concerning its models.
Quite surprisingly, a neat such situation is unknown for the Plotkin's lazy call-by-value A-calculus ABv (5), in spite ABv is the paradigm of real functional programming languages like SCHEME and ML.
The aim is to discover at least one definition of model ` la Hindley-Longo for ABv and a categorical description, corresponding each other as for AB.
Two steps are planned to obtain the aim.
The first step consists of giving a description as much wider and exhaustive as possible of what a categorical model for ABv could be. The second step consists of looking for suitable adaptations of the notion of model a la Hindely-Longo to the various proposals of categorical models, eventually produced by the first step.
For developing the first step, we plan both to compare the already existing categorical definitions of models for ABv, Moggi's one and (6), and to find some other proposals by looking at ABv as it were a substructural A-calculus.
Concerning the second step of the project, the most general categorical descriptions of the models, given in the first step, must be taken. Then, the corresponding Hindley-Longo's version should be given following (4) as script.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Dati non disponibili
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Coordinatore
13288 MARSEILLE
Francia
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.