Combining many-sorted logic and object-oriented programming
The logic language based on many-sorted logic, EPOS, can support object-oriented concepts such as classes and inheritance. Classes can be treated as sorts and inheritance as many-sorted unification. However, there are some problems for supporting object-oriented programming, namely, the inconsistenc...
Gespeichert in:
| Veröffentlicht in: | Information and software technology 1993-04, Vol.35 (4), p.241-253 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 253 |
|---|---|
| container_issue | 4 |
| container_start_page | 241 |
| container_title | Information and software technology |
| container_volume | 35 |
| creator | Kim, B.M. Ryu, K.Y. Maeng, S.R. Cho, J.W. |
| description | The logic language based on many-sorted logic, EPOS, can support object-oriented concepts such as classes and inheritance. Classes can be treated as sorts and inheritance as many-sorted unification. However, there are some problems for supporting object-oriented programming, namely, the inconsistency in inheritance, difficulty in exception handling, restricted inheritance hierarchy, etc. To solve these problems, we design an object-oriented many-sorted logic language TRY and provide translation techniques by which a TRY program is translated into an EPOS program. |
| doi_str_mv | 10.1016/0950-5849(93)90072-B |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_25992189</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>095058499390072B</els_id><sourcerecordid>1060384</sourcerecordid><originalsourceid>FETCH-LOGICAL-c362t-c366a19f33e5ba3d1e9a5c435707394656080a861315fd300e9248504da042803</originalsourceid><addsrcrecordid>eNp9kE1LAzEQhoMoWKv_wMPiQfSwOvncBEGwxS8oeNFzSLPZkrK70WQr9N-bteLBg5eZwzzvTPIgdIrhCgMW16A4lFwydaHopQKoSDnbQxMsK1oKIHwfTX6RQ3SU0hoAV0Bhgm7moVv63verojP9tkwhDq4u2rDytjB9XYTl2tmhDNG7fpy8x7CKputy4hgdNKZN7uSnT9Hbw_3r_KlcvDw-z-8WpaWCDGMVBquGUseXhtbYKcMto7yCiiomuAAJRgpMMW9qCuAUYZIDqw0wIoFO0flub779sXFp0J1P1rWt6V3YJE24UgRLlcGzP-A6bGKf36axEgwTWbEMsR1kY0gpuka_R9-ZuNUY9KhTj6706Eorqr916lmO3e5iLv_007uok81KrKt9zIJ0Hfz_C74AIkh5sQ</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>196412874</pqid></control><display><type>article</type><title>Combining many-sorted logic and object-oriented programming</title><source>Elsevier ScienceDirect Journals</source><creator>Kim, B.M. ; Ryu, K.Y. ; Maeng, S.R. ; Cho, J.W.</creator><creatorcontrib>Kim, B.M. ; Ryu, K.Y. ; Maeng, S.R. ; Cho, J.W.</creatorcontrib><description>The logic language based on many-sorted logic, EPOS, can support object-oriented concepts such as classes and inheritance. Classes can be treated as sorts and inheritance as many-sorted unification. However, there are some problems for supporting object-oriented programming, namely, the inconsistency in inheritance, difficulty in exception handling, restricted inheritance hierarchy, etc. To solve these problems, we design an object-oriented many-sorted logic language TRY and provide translation techniques by which a TRY program is translated into an EPOS program.</description><identifier>ISSN: 0950-5849</identifier><identifier>EISSN: 1873-6025</identifier><identifier>DOI: 10.1016/0950-5849(93)90072-B</identifier><language>eng</language><publisher>Amsterdam: Elsevier B.V</publisher><subject>Algorithms ; Inheritances ; Logic ; Object oriented programming ; Programming languages ; Studies ; Systems development</subject><ispartof>Information and software technology, 1993-04, Vol.35 (4), p.241-253</ispartof><rights>1993</rights><rights>Copyright Elsevier Science Ltd. Apr 1993</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c362t-c366a19f33e5ba3d1e9a5c435707394656080a861315fd300e9248504da042803</citedby><cites>FETCH-LOGICAL-c362t-c366a19f33e5ba3d1e9a5c435707394656080a861315fd300e9248504da042803</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.sciencedirect.com/science/article/pii/095058499390072B$$EHTML$$P50$$Gelsevier$$H</linktohtml><link.rule.ids>314,776,780,3537,27901,27902,65534</link.rule.ids></links><search><creatorcontrib>Kim, B.M.</creatorcontrib><creatorcontrib>Ryu, K.Y.</creatorcontrib><creatorcontrib>Maeng, S.R.</creatorcontrib><creatorcontrib>Cho, J.W.</creatorcontrib><title>Combining many-sorted logic and object-oriented programming</title><title>Information and software technology</title><description>The logic language based on many-sorted logic, EPOS, can support object-oriented concepts such as classes and inheritance. Classes can be treated as sorts and inheritance as many-sorted unification. However, there are some problems for supporting object-oriented programming, namely, the inconsistency in inheritance, difficulty in exception handling, restricted inheritance hierarchy, etc. To solve these problems, we design an object-oriented many-sorted logic language TRY and provide translation techniques by which a TRY program is translated into an EPOS program.</description><subject>Algorithms</subject><subject>Inheritances</subject><subject>Logic</subject><subject>Object oriented programming</subject><subject>Programming languages</subject><subject>Studies</subject><subject>Systems development</subject><issn>0950-5849</issn><issn>1873-6025</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1993</creationdate><recordtype>article</recordtype><recordid>eNp9kE1LAzEQhoMoWKv_wMPiQfSwOvncBEGwxS8oeNFzSLPZkrK70WQr9N-bteLBg5eZwzzvTPIgdIrhCgMW16A4lFwydaHopQKoSDnbQxMsK1oKIHwfTX6RQ3SU0hoAV0Bhgm7moVv63verojP9tkwhDq4u2rDytjB9XYTl2tmhDNG7fpy8x7CKputy4hgdNKZN7uSnT9Hbw_3r_KlcvDw-z-8WpaWCDGMVBquGUseXhtbYKcMto7yCiiomuAAJRgpMMW9qCuAUYZIDqw0wIoFO0flub779sXFp0J1P1rWt6V3YJE24UgRLlcGzP-A6bGKf36axEgwTWbEMsR1kY0gpuka_R9-ZuNUY9KhTj6706Eorqr916lmO3e5iLv_007uok81KrKt9zIJ0Hfz_C74AIkh5sQ</recordid><startdate>19930401</startdate><enddate>19930401</enddate><creator>Kim, B.M.</creator><creator>Ryu, K.Y.</creator><creator>Maeng, S.R.</creator><creator>Cho, J.W.</creator><general>Elsevier B.V</general><general>Elsevier Science Ltd</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19930401</creationdate><title>Combining many-sorted logic and object-oriented programming</title><author>Kim, B.M. ; Ryu, K.Y. ; Maeng, S.R. ; Cho, J.W.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c362t-c366a19f33e5ba3d1e9a5c435707394656080a861315fd300e9248504da042803</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1993</creationdate><topic>Algorithms</topic><topic>Inheritances</topic><topic>Logic</topic><topic>Object oriented programming</topic><topic>Programming languages</topic><topic>Studies</topic><topic>Systems development</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Kim, B.M.</creatorcontrib><creatorcontrib>Ryu, K.Y.</creatorcontrib><creatorcontrib>Maeng, S.R.</creatorcontrib><creatorcontrib>Cho, J.W.</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Information and software technology</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Kim, B.M.</au><au>Ryu, K.Y.</au><au>Maeng, S.R.</au><au>Cho, J.W.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Combining many-sorted logic and object-oriented programming</atitle><jtitle>Information and software technology</jtitle><date>1993-04-01</date><risdate>1993</risdate><volume>35</volume><issue>4</issue><spage>241</spage><epage>253</epage><pages>241-253</pages><issn>0950-5849</issn><eissn>1873-6025</eissn><abstract>The logic language based on many-sorted logic, EPOS, can support object-oriented concepts such as classes and inheritance. Classes can be treated as sorts and inheritance as many-sorted unification. However, there are some problems for supporting object-oriented programming, namely, the inconsistency in inheritance, difficulty in exception handling, restricted inheritance hierarchy, etc. To solve these problems, we design an object-oriented many-sorted logic language TRY and provide translation techniques by which a TRY program is translated into an EPOS program.</abstract><cop>Amsterdam</cop><pub>Elsevier B.V</pub><doi>10.1016/0950-5849(93)90072-B</doi><tpages>13</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0950-5849 |
| ispartof | Information and software technology, 1993-04, Vol.35 (4), p.241-253 |
| issn | 0950-5849 1873-6025 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_25992189 |
| source | Elsevier ScienceDirect Journals |
| subjects | Algorithms Inheritances Logic Object oriented programming Programming languages Studies Systems development |
| title | Combining many-sorted logic and object-oriented programming |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-13T22%3A47%3A30IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Combining%20many-sorted%20logic%20and%20object-oriented%20programming&rft.jtitle=Information%20and%20software%20technology&rft.au=Kim,%20B.M.&rft.date=1993-04-01&rft.volume=35&rft.issue=4&rft.spage=241&rft.epage=253&rft.pages=241-253&rft.issn=0950-5849&rft.eissn=1873-6025&rft_id=info:doi/10.1016/0950-5849(93)90072-B&rft_dat=%3Cproquest_cross%3E1060384%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=196412874&rft_id=info:pmid/&rft_els_id=095058499390072B&rfr_iscdi=true |