Analiza osobina dinamičkih postuslova u Horovim tripletima
Analyses of characteristics of dynamic postconditions in Hoare triplets
Докторанд
Купусинац, АлександарМентор
Malbaški, DušanЧланови комисије
Hajduković, MiroslavDoroslovački, Rade
Gilezan, Silvia
Berković, Ivana
Malbaški, Dušan
Метаподаци
Приказ свих података о дисертацијиСажетак
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).
Факултет:
Универзитет у Новом Саду, Факултет техничких наукаДатум одбране:
01-01-2010Пројекти:
- Репрезентације логичких структура и формалних језика и њихове примене у рачунарству (RS-MESTD-Basic Research (BR or ON)-174026)