Cel
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.
Dziedzina nauki (EuroSciVoc)
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Program(-y)
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Temat(-y)
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenie do składania wniosków
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
Brak dostępnych danych
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
System finansowania
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Koordynator
13288 MARSEILLE
Francja
Ogół kosztów poniesionych przez organizację w związku z uczestnictwem w projekcie. Obejmuje koszty bezpośrednie i pośrednie. Kwota stanowi część całkowitego budżetu projektu.