An algorithm for the automatic verification of inheritance

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 pred...

Full description

Saved in:
Bibliographic Details
Main Authors: Kupusinac, A., Malbaski, D.
Format: Conference Proceeding
Language:English
Subjects:
inheritance
invariant
Java
Object oriented programming
program correctness
program verification
Programming profession
Semantics
Vectors
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 1378
container_issue
container_start_page 1375
container_title
container_volume
creator Kupusinac, A.
Malbaski, D.
description 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.
doi_str_mv 10.1109/TELFOR.2011.6143810
format conference_proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_6143810</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6143810</ieee_id><sourcerecordid>6143810</sourcerecordid><originalsourceid>FETCH-LOGICAL-i90t-e3f2b258ffff98b0e158e51042cf14e8b2309f60ab8e177ff08a8dfa46df3f3e3</originalsourceid><addsrcrecordid>eNo1j81Kw0AUhUdEUGueoJt5gcZ7M5PJjLtSWhUCBcnCXZmk95qRJpFkFHx7A7bf5vwsDhwhlggpIrjHalvu9m9pBoipQa0swpVIXGFR50WB2llzLe4vwb3fimSaPmHGGGcKuBNP617608cwhth2kodRxpak_45D52No5A-NgUMz-6GXA8vQt3MTfd_Qg7hhf5ooOetCVLtttXlZlfvn1826XAUHcUWKszrLLc84WwNhbilH0FnDqMnWmQLHBnxtCYuCGay3R_baHFmxIrUQy__ZQESHrzF0fvw9nN-qP40dSbg</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>An algorithm for the automatic verification of inheritance</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Kupusinac, A. ; Malbaski, D.</creator><creatorcontrib>Kupusinac, A. ; Malbaski, D.</creatorcontrib><description>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.</description><identifier>ISBN: 145771499X</identifier><identifier>ISBN: 9781457714993</identifier><identifier>EISBN: 9781457714986</identifier><identifier>EISBN: 1457714981</identifier><identifier>DOI: 10.1109/TELFOR.2011.6143810</identifier><language>eng</language><publisher>IEEE</publisher><subject>inheritance ; invariant ; Java ; Object oriented programming ; program correctness ; program verification ; Programming profession ; Semantics ; Vectors</subject><ispartof>2011 19thTelecommunications Forum (TELFOR) Proceedings of Papers, 2011, p.1375-1378</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6143810$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6143810$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Kupusinac, A.</creatorcontrib><creatorcontrib>Malbaski, D.</creatorcontrib><title>An algorithm for the automatic verification of inheritance</title><title>2011 19thTelecommunications Forum (TELFOR) Proceedings of Papers</title><addtitle>TELFOR</addtitle><description>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.</description><subject>inheritance</subject><subject>invariant</subject><subject>Java</subject><subject>Object oriented programming</subject><subject>program correctness</subject><subject>program verification</subject><subject>Programming profession</subject><subject>Semantics</subject><subject>Vectors</subject><isbn>145771499X</isbn><isbn>9781457714993</isbn><isbn>9781457714986</isbn><isbn>1457714981</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2011</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNo1j81Kw0AUhUdEUGueoJt5gcZ7M5PJjLtSWhUCBcnCXZmk95qRJpFkFHx7A7bf5vwsDhwhlggpIrjHalvu9m9pBoipQa0swpVIXGFR50WB2llzLe4vwb3fimSaPmHGGGcKuBNP617608cwhth2kodRxpak_45D52No5A-NgUMz-6GXA8vQt3MTfd_Qg7hhf5ooOetCVLtttXlZlfvn1826XAUHcUWKszrLLc84WwNhbilH0FnDqMnWmQLHBnxtCYuCGay3R_baHFmxIrUQy__ZQESHrzF0fvw9nN-qP40dSbg</recordid><startdate>201111</startdate><enddate>201111</enddate><creator>Kupusinac, A.</creator><creator>Malbaski, D.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>201111</creationdate><title>An algorithm for the automatic verification of inheritance</title><author>Kupusinac, A. ; Malbaski, D.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i90t-e3f2b258ffff98b0e158e51042cf14e8b2309f60ab8e177ff08a8dfa46df3f3e3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2011</creationdate><topic>inheritance</topic><topic>invariant</topic><topic>Java</topic><topic>Object oriented programming</topic><topic>program correctness</topic><topic>program verification</topic><topic>Programming profession</topic><topic>Semantics</topic><topic>Vectors</topic><toplevel>online_resources</toplevel><creatorcontrib>Kupusinac, A.</creatorcontrib><creatorcontrib>Malbaski, D.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Xplore (Online service)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Kupusinac, A.</au><au>Malbaski, D.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>An algorithm for the automatic verification of inheritance</atitle><btitle>2011 19thTelecommunications Forum (TELFOR) Proceedings of Papers</btitle><stitle>TELFOR</stitle><date>2011-11</date><risdate>2011</risdate><spage>1375</spage><epage>1378</epage><pages>1375-1378</pages><isbn>145771499X</isbn><isbn>9781457714993</isbn><eisbn>9781457714986</eisbn><eisbn>1457714981</eisbn><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.</abstract><pub>IEEE</pub><doi>10.1109/TELFOR.2011.6143810</doi><tpages>4</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISBN: 145771499X
ispartof 2011 19thTelecommunications Forum (TELFOR) Proceedings of Papers, 2011, p.1375-1378
issn
language eng
recordid cdi_ieee_primary_6143810
source IEEE Electronic Library (IEL) Conference Proceedings
subjects inheritance
invariant
Java
Object oriented programming
program correctness
program verification
Programming profession
Semantics
Vectors
title An algorithm for the automatic verification of inheritance
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-01T05%3A31%3A19IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=An%20algorithm%20for%20the%20automatic%20verification%20of%20inheritance&rft.btitle=2011%2019thTelecommunications%20Forum%20(TELFOR)%20Proceedings%20of%20Papers&rft.au=Kupusinac,%20A.&rft.date=2011-11&rft.spage=1375&rft.epage=1378&rft.pages=1375-1378&rft.isbn=145771499X&rft.isbn_list=9781457714993&rft_id=info:doi/10.1109/TELFOR.2011.6143810&rft.eisbn=9781457714986&rft.eisbn_list=1457714981&rft_dat=%3Cieee_6IE%3E6143810%3C/ieee_6IE%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i90t-e3f2b258ffff98b0e158e51042cf14e8b2309f60ab8e177ff08a8dfa46df3f3e3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=6143810&rfr_iscdi=true