Using interface definition languages to support path expressions and programming by contract
The paper describes how path expressions and programming by contract can be supported in interface definition languages (IDLs) without the need for any IDL extensions or new keywords. The programming by contract model described here contains extensions which allow clients to place constraints on met...
Uloženo v:
| Vydáno v: | Technology of Object-Oriented Languages and Systems (Tools-26 '98): Proceedings of the 26th International Conference s. 308 - 317 |
|---|---|
| Hlavní autor: | |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
IEEE
1998
|
| Témata: | |
| ISBN: | 0818684828, 9780818684821 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | The paper describes how path expressions and programming by contract can be supported in interface definition languages (IDLs) without the need for any IDL extensions or new keywords. The programming by contract model described here contains extensions which allow clients to place constraints on method calls at runtime, to improve system reliability and performance. As no IDL extensions are used, this system can be incorporated into new and existing systems and improve the quality and reliability of distributed object oriented systems. An example of the specification and a demonstration of its use are also presented. |
|---|---|
| AbstractList | The paper describes how path expressions and programming by contract can be supported in interface definition languages (IDLs) without the need for any IDL extensions or new keywords. The programming by contract model described here contains extensions which allow clients to place constraints on method calls at runtime, to improve system reliability and performance. As no IDL extensions are used, this system can be incorporated into new and existing systems and improve the quality and reliability of distributed object oriented systems. An example of the specification and a demonstration of its use are also presented. |
| Author | Watkins, D. |
| Author_xml | – sequence: 1 givenname: D. surname: Watkins fullname: Watkins, D. |
| BookMark | eNotj9FKwzAYhQMq6OYeQK_yAqtJk7bJpQx1QmEXbnfC-JP-qZEtLUkG7u2tzHNz4PDxwZmR6zAEJOSBs4Jzpp-2m037UXCtVdFMQ1lekRlTXNVKqlLdkkVK32yK0HUlxR353CUfeupDxujAIu3Q-eCzHwI9QOhP0GOieaDpNI5DzHSE_EXxZ4yY0gQlCqGjYxz6CMfjn8qcqR1CjmDzPblxcEi4-O852b2-bFfrZbt5e189t0vPG5mXHauY7oBzaaxyTnfWSWdZZZTAGlgpUWgwKEwj6spUSkuDlmHDSpCiq5yYk8eL1yPifoz-CPG8v_wXv6orVZg |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1109/TOOLS.1998.711022 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP All) 1998-Present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| EndPage | 317 |
| ExternalDocumentID | 711022 |
| GroupedDBID | 6IE 6IK 6IL AAJGR AAWTH ACGHX ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK OCL RIB RIC RIE RIL |
| ID | FETCH-LOGICAL-i174t-d0509da114bc8ff9dcf4fc05b83e6a024e39abe3b7365b5894bec0e702a43d5f3 |
| IEDL.DBID | RIE |
| ISBN | 0818684828 9780818684821 |
| ISICitedReferencesCount | 1 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000075684900023&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Tue Aug 26 17:41:16 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-i174t-d0509da114bc8ff9dcf4fc05b83e6a024e39abe3b7365b5894bec0e702a43d5f3 |
| PageCount | 10 |
| ParticipantIDs | ieee_primary_711022 |
| PublicationCentury | 1900 |
| PublicationDate | 19980000 |
| PublicationDateYYYYMMDD | 1998-01-01 |
| PublicationDate_xml | – year: 1998 text: 19980000 |
| PublicationDecade | 1990 |
| PublicationTitle | Technology of Object-Oriented Languages and Systems (Tools-26 '98): Proceedings of the 26th International Conference |
| PublicationTitleAbbrev | TOOLS |
| PublicationYear | 1998 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0000396543 |
| Score | 1.2666205 |
| Snippet | The paper describes how path expressions and programming by contract can be supported in interface definition languages (IDLs) without the need for any IDL... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 308 |
| SubjectTerms | Concurrent computing Contracts Control systems Delay Object oriented modeling Object oriented programming Reliability Software quality Software systems Valves |
| Title | Using interface definition languages to support path expressions and programming by contract |
| URI | https://ieeexplore.ieee.org/document/711022 |
| WOSCitedRecordID | wos000075684900023&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09a8MwEBVN6NCpXyn9RkNXJ7IlWdZcGjqUJNAUMhSCPk6QoU6I7UL_fSXZSSl06WYbIwndcHqn994h9GCFDTZ1qY8A8wCFc57oXBWJLWTOQGlKjInNJsRkUiwWctb5bEctDABE8hkMw2O8y7dr04RS2UikAZ_0UE-IvJVq7csphMqgkowOj8EBnnkk0fnr7N7T7lIzJXI0n05fXoNSrxi2g_5qrhJzy_j4X6s6QYMfjR6e7bPPKTqA8hy9RwYADh4QW6f8HxbcqoysLLyrTFa4XuOq2YSDNw4NibGftGXDlhVWpcUdZ-sjDKW_cGSzK1MP0Nv4af74nHT9E5KVxxl1YoO3i1Ue8WhTOCetccwZwnVBIVc-OQOVSgPVguZc80IyH1ACgmSKUcsdvUD9cl3CJcKp8adwBY5kTrEUMi1zw3SWGycznZn0Cp2FjVluWouMZbsn139-vUFHrbAv1DFuUb_eNnCHDs1nvaq29zGs3xgholk |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEA5aBT35qvg2B6_b7m6yj5zFoljbghV6EEoeE-jBbeluBf-9mey2InjxtrssScgcJt_k-74h5M5kBm3qIhcB7gBKkiSBSmUemFykHKRioda-2UQ2GOSTiRg1PtteCwMAnnwGHXz0d_lmrldYKutmEeKTbbKDjbMasdamoBIygTpJ7_GIHvDcYYnGYWf9HjXXmlEouuPhsP-KWr28Uw_7q72Kzy69g3-t65C0f1R6dLTJP0dkC4oT8u45ABRdIJZWuj8M2FnheVl0XZssaTWn5WqBR2-KLYmpm7TmwxYllYWhDWvrA4dSX9Tz2aWu2uSt9zC-fwyaDgrBzCGNKjDo7mKkwzxK59YKoy23OkxUziCVLj0DE1IBUxlLE5XkgruQhpCFseTMJJadklYxL-CM0Ei7c7gEG8ZW8ghiJVLNVZxqK2IV6-icHOPGTBe1Sca03pOLP7_ekr3H8Ut_2n8aPF-S_Vrmh1WNK9Kqliu4Jrv6s5qVyxsf4m-7-aWi |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Technology+of+Object-Oriented+Languages+and+Systems+%28Tools-26+%2798%29%3A+Proceedings+of+the+26th+International+Conference&rft.atitle=Using+interface+definition+languages+to+support+path+expressions+and+programming+by+contract&rft.au=Watkins%2C+D.&rft.date=1998-01-01&rft.pub=IEEE&rft.isbn=9780818684821&rft.spage=308&rft.epage=317&rft_id=info:doi/10.1109%2FTOOLS.1998.711022&rft.externalDocID=711022 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818684821/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818684821/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818684821/sc.gif&client=summon&freeimage=true |