Analiza osobina dinamičkih postuslova u Horovim tripletima
Analyses of characteristics of dynamic postconditions in Hoare triplets
Author
Купусинац, Александар
Mentor
Malbaški, DušanCommittee members
Hajduković, MiroslavDoroslovački, Rade

Gilezan, Silvia

Berković, Ivana

Malbaški, Dušan
Metadata
Show full item recordAbstract
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).
Faculty:
Универзитет у Новом Саду, Факултет техничких наукаDate:
01-01-2010Projects:
- Representations of logical structures and formal languages and their application in computing (RS-174026)