Typový systém s hodnotově-závislými typy pro objektově-orientované programovací jazyky
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 12 (SGA02009GA-ST)
Hlavní účastníci
—
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
201/09/1316
Alternativní jazyk
Název projektu anglicky
Dependent type system for object-oriented programming languages
Anotace anglicky
Advanced type systems can provide more safety than type systems of programming languages currently in use. Moreover, they can change the style of programming discipline if used rigorously. The proposed project aims at basic research of a new type systemfor object-oriented programming languages that allows to guarantee safer programs, type check more language constructs and support the correct-by-construction development and implementation methodology. The contribution of the project comes with its approach. Shortly, we plan to emit functional programming with dependent types into the object-oriented environment and investigate the possible incidences. In particular, the dependent types in subtyping imposed by class-based inheritance as the basic concept for reuse and modularity, and the relation with traditional lambda-based theory are two main topics that will be studied. An important part of the project is the development of an experimental language featuring studied principles.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
JC - Počítačový hardware a software
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
20206 - Computer hardware and architecture
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
O - Nesplněno zadání, smlouva však byla dodržena
Zhodnocení výsledků projektu
the results of the grant are a number of reasons, objective and subjective, inadequate and does not meet the declared objectives of the project.
Termíny řešení
Zahájení řešení
1. 1. 2009
Ukončení řešení
31. 12. 2009
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
22. 4. 2009
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP10-GA0-GA-U/02:2
Datum dodání záznamu
22. 1. 2015
Finance
Celkové uznané náklady
811 tis. Kč
Výše podpory ze státního rozpočtu
811 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč