National Repository of Dissertations in Serbia
    • English
    • Српски
    • Српски (Serbia)
  • English 
    • English
    • Serbian (Cyrilic)
    • Serbian (Latin)
  • Login
View Item 
  •   NaRDuS home
  • Универзитет у Новом Саду
  • Факултет техничких наука
  • View Item
  •   NaRDuS home
  • Универзитет у Новом Саду
  • Факултет техничких наука
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Analiza osobina dinamičkih postuslova u Horovim tripletima

Analyses of characteristics of dynamic postconditions in Hoare triplets

Thumbnail
2010
Disertacija2617.pdf (859.3Kb)
Author
Купусинац, Александар
Mentor
Malbaški, Dušan
Committee members
Hajduković, Miroslav
Doroslovački, Rade
Gilezan, Silvia
Berković, Ivana
Malbaški, Dušan
Metadata
Show full item record
Abstract
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-2010
Projects:
  • Representations of logical structures and formal languages and their application in computing (RS-174026)
Keywords:
Predikatska logika prvog reda / First-order predicate logic / S-program calculus / Dynamic postconditions / Analyses of invariants in class / S-programski račun / Dinamički postuslovi / Analiza invarijanta u klasi

DOI: 10.2298/ns20101213kupusinac

[ Google Scholar ]
Handle
https://hdl.handle.net/21.15107/rcub_nardus_5373
URI
https://nardus.mpn.gov.rs/handle/123456789/5373
http://www.cris.uns.ac.rs/DownloadFileServlet/Disertacijadisertacija.pdf?controlNumber=(BISIS)77408&fileName=disertacija.pdf&id=287&source=NaRDuS&language=sr
http://www.cris.uns.ac.rs/record.jsf?recordId=77408&source=NaRDuS&language=sr

DSpace software copyright © 2002-2015  DuraSpace
About NaRDus | Contact us

OpenAIRERCUBRODOSTEMPUS
 

 

Browse

All of DSpaceUniversities & FacultiesAuthorsMentorCommittee membersSubjectsThis CollectionAuthorsMentorCommittee membersSubjects

DSpace software copyright © 2002-2015  DuraSpace
About NaRDus | Contact us

OpenAIRERCUBRODOSTEMPUS