RAZVOJ KONCEPTOV DINAMIČNEGA METAPROGRAMIRANJA V STATIČNO TIPIZIRANEM OBJEKTNO USMERJENEM PROGRAMSKEM JEZIKUGreiner, Sašo (Avtor) Brest, Janez (Mentor) Žumer, Viljem (Komentor) programski jezikibehavioralna refleksijastrukturalna refleksijametaprogramiranjestatično tipiziranjeV delu predstavljamo načrtovanje in implementacijo metaprogramskih konceptov čistega objektno usmerjenega programskega jezika. Jezik, ki je nadgradnja obstoječega jezika Z0, imenujemo Zero. Temeljna ideja jezika je združitev konceptov dinamičnega metaprogramiranja s statičnim oz. hibridnim sistemom tipov. Metaprogramski model jezika temelji na behavioralni in strukturalni refleksiji, ki omogočata spremembe obnašanja in strukture programov v času izvajanja. Metafunkcionalnost je realizirana v metarazredih, ki dopolnjujejo obstoječo razredno hierarhijo. Čisti objektni model je razširjen na metode, s čimer so omogočene anonimne metode in metode višjega reda. V okviru statičnega sistema tipov vpeljemo metodne tipe, ki omogočajo tipiziranje metod v času prevajanja in ohranjanje varnosti tipov v času izvajanja. [S. Greiner]20092009-04-06 11:45:57Doktorska disertacija10093sl