Programski jezik

Jezik $Z_0$ je eksperimentalni objektno usmerjen programski jezik, ki smo ga razvili v laboratoriju za računalniške arhitekture in jezike. Sintaktična struktura jezika je podobna Javi. Jezik je močno statično tipiziran s čistim objektno usmerjenim model, kar pomeni, da so vse enititete predstavljene uniformno kot objekti. Posebnost jezika je v tem, da stanje objekta definira izključno preko metod, ki dinamično naravo stanja odražajo z manipulacijo v času izvajanja. Jezik ima implementiran statično preverljiv in varen mehanizem za spremembo metod v času izvajanja. Možnost "prikrojevanja" metod v času izvajanja ima velik pomen v praktični uporabi, od dinamične specializacije do meta programiranja. Jezik $Z_0$ se prevaja v vmesni objektni kod, ki se izvaja na virtualnem stroju, katerega smo razvili posebej v ta namen.

Meta programiranje

Programski jezik $Z_0$ dobiva tudi meta arhitekturo, s katero želimo prikazati in eksperimentirati s koncepti, ki s klasičnim pristopom niso mogoči. Cilj meta arhitekture je doseči še višjo stopnjo dinamične manipulacije programskega okolja.