Dependent type system for object-oriented programming languages
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 12 (SGA02009GA-ST)
Main participants
—
Contest type
VS - Public tender
Contract ID
201/09/1316
Alternative language
Project name in Czech
Typový systém s hodnotově-závislými typy pro objektově-orientované programovací jazyky
Annotation in Czech
Pokročilá typová kontrola dokáže zajistit vyšší míru správnosti programů, než je tomu běžné u současných programovacích jazyků. V některých případech použití takového systému znamená změnu přístupu k programování obecně. Navrhovaný projekt se zabývá základním výzkumem v oblasti typové kontroly pro objektově-orientovaný programovací jazyk, který by umožnil odhalovat vyšší množství chyb, kontrolovat složitější jazykové konstrukce a podporovat konstrukci korektních programů. Přístup k řešení naznačuje předpokládaný přínos projektu. Jedná se zejména o nalezení pozice hodnotově závislých typu v objektově-orientovaném typovaném prostředí. Vztah závislých typů, podtypů a objektových typů a studium vlastností takto definovaného systému, včetně jeho vztahu k původní teorii jsou hlavní teoretické části projektu. K projektu pak také patří konstrukce experimentálního programovacího jazyka demonstrující studované vlastnosti.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
JC - Computer hardware and software
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
20206 - Computer hardware and architecture
Completed project evaluation
Provider evaluation
O - Nesplněno zadání, smlouva však byla dodržena
Project results evaluation
výsledky řešení grantu jsou z řady důvodů, objektivních i subjektivních, nedostatečné a nenaplňují deklarované cíle projektu.
Solution timeline
Realization period - beginning
Jan 1, 2009
Realization period - end
Dec 31, 2009
Project status
U - Finished project
Latest support payment
Apr 22, 2009
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP10-GA0-GA-U/02:2
Data delivery date
Jan 22, 2015
Finance
Total approved costs
811 thou. CZK
Public financial support
811 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK