Functional Data Stuctures and Algorithms
Název práce v češtině: | Funkcionální datové struktury a algoritmy |
---|---|
Název v anglickém jazyce: | Functional Data Stuctures and Algorithms |
Klíčová slova: | perzistentní datové struktury, perzistentní pole, algoritmy se složitostí v nejhorším případě, čistě funkcionální datové struktury, Haskell |
Klíčová slova anglicky: | persistent data structures, persistent arrays, worst-case algorithms, purely functional data structures, Haskell |
Akademický rok vypsání: | 2008/2009 |
Typ práce: | disertační práce |
Jazyk práce: | angličtina |
Ústav: | Informatický ústav Univerzity Karlovy (32-IUUK) |
Vedoucí / školitel: | prof. Mgr. Zdeněk Dvořák, Ph.D. |
Řešitel: | RNDr. Milan Straka, Ph.D. - zadáno a potvrzeno stud. odd. |
Datum přihlášení: | 28.04.2008 |
Datum zadání: | 10.09.2008 |
Datum a čas obhajoby: | 27.09.2013 11:00 |
Datum odevzdání elektronické podoby: | 12.08.2013 |
Datum odevzdání tištěné podoby: | 12.08.2013 |
Datum proběhlé obhajoby: | 27.09.2013 |
Oponenti: | prof. Mgr. Michal Koucký, Ph.D. |
Prof. Gerth Brodal | |