INFERENCE OF CONTRACT USING DECLARATIVE PROGRAM DEFINITION

INFERENCE OF CONTRACT USING DECLARATIVE PROGRAM DEFINITION

A declarative program definition. The definition is analyzed to produce an application contract that describes semantics for sending and receiving application messages during the successful execution of operations by the program. In addition, this analysis may also generate local behaviors associate...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: ALLEN NICHOLAS ALEXANDER, WOLF KENNETH D, PINTO EDMUND SAMUEL VICTOR, JAWAHAR ASAD, XIE TAO, GAVRYLYUK KIRILL
Format: Patent
Sprache:eng
Schlagworte:
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume
creator ALLEN NICHOLAS ALEXANDER
WOLF KENNETH D
PINTO EDMUND SAMUEL VICTOR
JAWAHAR ASAD
XIE TAO
GAVRYLYUK KIRILL
description A declarative program definition. The definition is analyzed to produce an application contract that describes semantics for sending and receiving application messages during the successful execution of operations by the program. In addition, this analysis may also generate local behaviors associated with the local execution of the program. Alternatively or in addition, the analysis may infer secondary contracts regarding the sending and receiving of application messages, even though the full details of the secondary contracts are not present in the declarative program definition. For instance, the secondary contracts might include error contracts or consistency contracts.
format Patent
fullrecord <record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_US2011078509A1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>US2011078509A1</sourcerecordid><originalsourceid>FETCH-epo_espacenet_US2011078509A13</originalsourceid><addsrcrecordid>eNrjZLDy9HNzDXL1c3ZV8HdTcPb3CwlydA5RCA329HNXcHF19nEMcgzxDHNVCAjydw9y9AWKuXn6eYZ4-vvxMLCmJeYUp_JCaW4GZTfXEGcP3dSC_PjU4oLE5NS81JL40GAjA0NDA3MLUwNLR0Nj4lQBAFtDKgQ</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>INFERENCE OF CONTRACT USING DECLARATIVE PROGRAM DEFINITION</title><source>esp@cenet</source><creator>ALLEN NICHOLAS ALEXANDER ; WOLF KENNETH D ; PINTO EDMUND SAMUEL VICTOR ; JAWAHAR ASAD ; XIE TAO ; GAVRYLYUK KIRILL</creator><creatorcontrib>ALLEN NICHOLAS ALEXANDER ; WOLF KENNETH D ; PINTO EDMUND SAMUEL VICTOR ; JAWAHAR ASAD ; XIE TAO ; GAVRYLYUK KIRILL</creatorcontrib><description>A declarative program definition. The definition is analyzed to produce an application contract that describes semantics for sending and receiving application messages during the successful execution of operations by the program. In addition, this analysis may also generate local behaviors associated with the local execution of the program. Alternatively or in addition, the analysis may infer secondary contracts regarding the sending and receiving of application messages, even though the full details of the secondary contracts are not present in the declarative program definition. For instance, the secondary contracts might include error contracts or consistency contracts.</description><language>eng</language><subject>CALCULATING ; COMPUTING ; COUNTING ; ELECTRIC DIGITAL DATA PROCESSING ; PHYSICS</subject><creationdate>2011</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20110331&amp;DB=EPODOC&amp;CC=US&amp;NR=2011078509A1$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,780,885,25564,76547</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20110331&amp;DB=EPODOC&amp;CC=US&amp;NR=2011078509A1$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>ALLEN NICHOLAS ALEXANDER</creatorcontrib><creatorcontrib>WOLF KENNETH D</creatorcontrib><creatorcontrib>PINTO EDMUND SAMUEL VICTOR</creatorcontrib><creatorcontrib>JAWAHAR ASAD</creatorcontrib><creatorcontrib>XIE TAO</creatorcontrib><creatorcontrib>GAVRYLYUK KIRILL</creatorcontrib><title>INFERENCE OF CONTRACT USING DECLARATIVE PROGRAM DEFINITION</title><description>A declarative program definition. The definition is analyzed to produce an application contract that describes semantics for sending and receiving application messages during the successful execution of operations by the program. In addition, this analysis may also generate local behaviors associated with the local execution of the program. Alternatively or in addition, the analysis may infer secondary contracts regarding the sending and receiving of application messages, even though the full details of the secondary contracts are not present in the declarative program definition. For instance, the secondary contracts might include error contracts or consistency contracts.</description><subject>CALCULATING</subject><subject>COMPUTING</subject><subject>COUNTING</subject><subject>ELECTRIC DIGITAL DATA PROCESSING</subject><subject>PHYSICS</subject><fulltext>true</fulltext><rsrctype>patent</rsrctype><creationdate>2011</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNrjZLDy9HNzDXL1c3ZV8HdTcPb3CwlydA5RCA329HNXcHF19nEMcgzxDHNVCAjydw9y9AWKuXn6eYZ4-vvxMLCmJeYUp_JCaW4GZTfXEGcP3dSC_PjU4oLE5NS81JL40GAjA0NDA3MLUwNLR0Nj4lQBAFtDKgQ</recordid><startdate>20110331</startdate><enddate>20110331</enddate><creator>ALLEN NICHOLAS ALEXANDER</creator><creator>WOLF KENNETH D</creator><creator>PINTO EDMUND SAMUEL VICTOR</creator><creator>JAWAHAR ASAD</creator><creator>XIE TAO</creator><creator>GAVRYLYUK KIRILL</creator><scope>EVB</scope></search><sort><creationdate>20110331</creationdate><title>INFERENCE OF CONTRACT USING DECLARATIVE PROGRAM DEFINITION</title><author>ALLEN NICHOLAS ALEXANDER ; WOLF KENNETH D ; PINTO EDMUND SAMUEL VICTOR ; JAWAHAR ASAD ; XIE TAO ; GAVRYLYUK KIRILL</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_US2011078509A13</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>eng</language><creationdate>2011</creationdate><topic>CALCULATING</topic><topic>COMPUTING</topic><topic>COUNTING</topic><topic>ELECTRIC DIGITAL DATA PROCESSING</topic><topic>PHYSICS</topic><toplevel>online_resources</toplevel><creatorcontrib>ALLEN NICHOLAS ALEXANDER</creatorcontrib><creatorcontrib>WOLF KENNETH D</creatorcontrib><creatorcontrib>PINTO EDMUND SAMUEL VICTOR</creatorcontrib><creatorcontrib>JAWAHAR ASAD</creatorcontrib><creatorcontrib>XIE TAO</creatorcontrib><creatorcontrib>GAVRYLYUK KIRILL</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>ALLEN NICHOLAS ALEXANDER</au><au>WOLF KENNETH D</au><au>PINTO EDMUND SAMUEL VICTOR</au><au>JAWAHAR ASAD</au><au>XIE TAO</au><au>GAVRYLYUK KIRILL</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>INFERENCE OF CONTRACT USING DECLARATIVE PROGRAM DEFINITION</title><date>2011-03-31</date><risdate>2011</risdate><abstract>A declarative program definition. The definition is analyzed to produce an application contract that describes semantics for sending and receiving application messages during the successful execution of operations by the program. In addition, this analysis may also generate local behaviors associated with the local execution of the program. Alternatively or in addition, the analysis may infer secondary contracts regarding the sending and receiving of application messages, even though the full details of the secondary contracts are not present in the declarative program definition. For instance, the secondary contracts might include error contracts or consistency contracts.</abstract><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier
ispartof
issn
language eng
recordid cdi_epo_espacenet_US2011078509A1
source esp@cenet
subjects CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
title INFERENCE OF CONTRACT USING DECLARATIVE PROGRAM DEFINITION
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-23T14%3A42%3A30IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-epo_EVB&rft_val_fmt=info:ofi/fmt:kev:mtx:patent&rft.genre=patent&rft.au=ALLEN%20NICHOLAS%20ALEXANDER&rft.date=2011-03-31&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3EUS2011078509A1%3C/epo_EVB%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true