20.500.12556/DKUM-10093 RAZVOJ KONCEPTOV DINAMIČNEGA METAPROGRAMIRANJA V STATIČNO TIPIZIRANEM OBJEKTNO USMERJENEM PROGRAMSKEM JEZIKU DEVELOPING THE CONCEPTS OF DYNAMIC METAPROGRAMMING IN A STATICALLY-TYPED OBJECT-ORIENTED PROGRAMMING LANGUAGE V 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. We present the design and implementation of metaprogramming concepts in a pure object-oriented programming language. We call this language, which is an upgrade of an existing language Z0, the language Zero. The fundamental idea of Zero is to aggregate the concepts of dynamic metaprogramming with a static/hybrid typing system. The metaprogramming model is based on behavioural and structural reflection, which enable the modification of behaviour and structure of programs at run-time. The metafunctionality is realised in metaclasses which are part of an existing class hierarchy. The pure object model is extended to methods which enables anonymous methods and higher-order methods. As part of a static typing system, we introduce method types, which allow typing methods during compile-time and provide a means to keep method types sound and sane at run-time. programski jeziki behavioralna refleksija strukturalna refleksija metaprogramiranje statično tipiziranje programming languages behavioural reflection structural reflection metaprogramming static typing true true false [S. Greiner] Slovenski jezik Angleški jezik Doktorska disertacija 2009-04-06 11:45:57 2009-04-07 08:03:18 2022-04-11 15:59:27 2022-04-16 03:09:57 2009 0 Maribor 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 004.3:004.43(043.3) 245243904 URN:SI:UM:DK:VOHR0B1R DR_Greiner_Saso_2009.pdf DR_Greiner_Saso_2009.pdf 1 53A222C4680D4614325E203B913E0F0C 710501c06f33615a30b4ee3956012f73a8816915b1280044a04ae470955a54fc b89bf3c8-7c02-11eb-bb7a-00155d0001ca 20.500.12556/dkum/9c6c9053-3440-45d3-8993-0ae5a5ed3251 https://dk.um.si/Dokument.php?lang=slv&id=8015 Fakulteta za elektrotehniko, računalništvo in informatiko 0 0 0