Analiza osobina dinamičkih postuslova u Horovim tripletima / Analyses of characteristics of dynamic postconditions in Hoare triplets

Description

<p>Doktorska disertacija prezentuje nov i opštiji način analiziranja&nbsp;semantike strukturiranih i objektno orijentisanih programa i to&nbsp;isključivo u okvirima predikatske logike prvog reda. Doktorska&nbsp;disertacija razmatra sledeće teme:<br />1.) S-programski račun,<br />2.) Definicija i osobine dinamičkih postuslova u S-računu,<br />3.) Konceptualne definicije objekta, klase i invarijante,<br />4.) Analiza invarijanata u klasi (SP-analiza i DP-analiza).</p> / <p>Doctoral thesis presents a new and more general method for analizing of&nbsp;structured and object-oriented program semantics, based on the first-order&nbsp;predicate logic. Doctoral thesis consideres next topics:<br />1.) S-program calculus,<br />2.) Definition and characteristics of dynamic postconditions in S-calculus,<br />3.) Conceptual definitions of object, class and invariant,<br />4.) Analyses of invariants in class (SP-analyses and DP-analyses).</p>

Links & Downloads

1. http://www.cris.uns.ac.rs/DownloadFileServlet/Disertacijadisertacija.pdf?controlNumber=(BISIS)77408&fileName=disertacija.pdf&id=287&source=NDLTD&language=en
2. http://www.cris.uns.ac.rs/record.jsf?recordId=77408&source=NDLTD&language=en
3. http://dx.doi.org/10.2298/NS20101213KUPUSINAC
4. http://vbs.rs/scripts/cobiss?command=SEARCH&base=99999&select=ID=259693575

Tags

Additional Fields

Identifer	oai:union.ndltd.org:uns.ac.rs/oai:CRISUNS:(BISIS)77408
Date	01 January 2010
Creators	Kupusinac Aleksandar
Contributors	Malbaški Dušan, Hajduković Miroslav, Doroslovački Rade, Gilezan Silvia, Berković Ivana
Publisher	Univerzitet u Novom Sadu, Fakultet tehničkih nauka u Novom Sadu, University of Novi Sad, Faculty of Technical Sciences at Novi Sad
Source Sets	University of Novi Sad
Language	Serbian
Detected Language	English
Type	PhD thesis
Format	application/pdf