Tartu Ülikool. Matemaatika-informaatikateaduskondVene, Varmo, juhendajaNestra, Härmel2007-01-092007-01-0920069949114365Tartu Ester bibnumber: b18400097http://hdl.handle.net/10062/1109engarvutiteadusprogrammeerimiskeeledsemantikaprogrammeerimistehnikaddissertatsioonidIteratively defined transfinite trace semantics and program slicing with respect to themIteratiivselt defineeritud transfiniitsed jälitussemantikad ja programmislitseerimine nende suhtesThesis