Analiza osobina dinamičkih postuslova u Horovim tripletima
Analyses of characteristics of dynamic postconditions in Hoare triplets
Doktorand
Купусинац, АлександарMentor
Malbaški, DušanČlanovi komisije
Hajduković, MiroslavDoroslovački, Rade
Gilezan, Silvia
Berković, Ivana
Malbaški, Dušan
Metapodaci
Prikaz svih podataka o disertacijiSažetak
Doktorska disertacija prezentuje nov i opštiji način analiziranja semantike strukturiranih i objektno orijentisanih programa i to isključivo u okvirima predikatske logike prvog reda. Doktorska disertacija razmatra sledeće teme: 1.) S-programski račun, 2.) Definicija i osobine dinamičkih postuslova u S-računu, 3.) Konceptualne definicije objekta, klase i invarijante, 4.) Analiza invarijanata u klasi (SP-analiza i DP-analiza).
Doctoral thesis presents a new and more general method for analizing of structured and object-oriented program semantics, based on the first-order predicate logic. Doctoral thesis consideres next topics: 1.) S-program calculus, 2.) Definition and characteristics of dynamic postconditions in S-calculus, 3.) Conceptual definitions of object, class and invariant, 4.) Analyses of invariants in class (SP-analyses and DP-analyses).