Ziel
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.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
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.
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.
Koordinator
13288 MARSEILLE
Frankreich
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.