Ing. Ondřej Ryšavý, Ph.D.

Typový systém s hodnotově-závislými typy pro objektově-orientované programovací jazyky

Hlavní řešitel:Kolář Dušan, Škarvada Libor (FI MUNI)
Spoluřešitelé:Peterka Ondřej, Ryšavý Ondřej
Agentura:GAČR
Kód:GA201/09/1316
Začátek:2009
Konec:2009
Soubory: 
+Typ Jméno Název Vel. Změněn
iconoops-2008-gacr_project_proposal.pdf128 KB2008-03-29 01:23:34
icon201-09-1316_pcz.pdf399 KB2008-04-23 14:04:09
icon201-09-1316_pen.pdf191 KB2008-04-23 14:04:09
^ Vybrat vše
S vybranými:
Klíčová slova:

hodnotově-závislé typy; formální odvozování; funkcionální programování; lambda kalkul; jazykové konstrukce; objektový kalkul; objektová-orientace; specifikace a ověřování programů; teorie typu;

Anotace:
Pokročilá typová kontrola dokáže zajistit vyšší míru správnosti programu 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.

Publikace

2009KOLLÁR Matej, PETERKA Ondřej, RYŠAVÝ Ondřej a ŠKARVADA Libor. A Calculus of Coercive Subtyping. Brno: Masarykova universita, 2009.
 ŠKARVADA Libor, PETERKA Ondřej, RYŠAVÝ Ondřej a KOLÁŘ Dušan. A Calculus of Coercive Subtyping. In: Draft Proceedings of the 21st International Symposium on Implementation and Application of Functional Languages. South Orange: Seton Hall University, 2009, s. 182-192.

Vaše IPv4 adresa: 54.163.70.249
Přepnout na IPv6 spojení

DNSSEC [dnssec]