• DocumentCode
    3645655
  • Title

    An algorithm for the automatic verification of inheritance

  • Author

    Aleksandar Kupusinac;Dušan Malbaški

  • Author_Institution
    Faculty of Technical Sciences, Trg Dositeja Obradović
  • fYear
    2011
  • Firstpage
    1375
  • Lastpage
    1378
  • Abstract
    In this paper we introduce the concept of correct inheritance and establish the appropriate formal conditions that must be satisfied by the subclass. Based on that, we develop a formal recursive algorithm for automatic verification of inheritance. The solution is based solely on the first-order predicate logic.
  • Keywords
    "Programming profession","Semantics","Java","Vectors","Object oriented programming"
  • Publisher
    ieee
  • Conference_Titel
    Telecommunications Forum (TELFOR), 2011 19th
  • Print_ISBN
    978-1-4577-1499-3
  • Type

    conf

  • DOI
    10.1109/TELFOR.2011.6143810
  • Filename
    6143810
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3645655