http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-7865778-B2
Outgoing Links
Predicate | Object |
---|---|
assignee | http://rdf.ncbi.nlm.nih.gov/pubchem/patentassignee/MD5_e757fd4fedc4fe825bb81b1b466a0947 |
classificationCPCInventive | http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F11-3632 http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F11-3672 |
classificationIPCInventive | http://rdf.ncbi.nlm.nih.gov/pubchem/patentipc/G06F11-36 |
filingDate | 2007-02-20-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
grantDate | 2011-01-04-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
inventor | http://rdf.ncbi.nlm.nih.gov/pubchem/patentinventor/MD5_c8d7c7dd1dc63a45c59b47edd744e08e http://rdf.ncbi.nlm.nih.gov/pubchem/patentinventor/MD5_2d63305e2a8f0933a7afb90476605f40 |
publicationDate | 2011-01-04-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
publicationNumber | US-7865778-B2 |
titleOfInvention | Method and system for detecting synchronization errors in programs |
abstract | A method and system for error detection in programs with collective synchronization and/or procedures are provided. In one aspect, the method and system may use interprocedural analysis for matching synchronizations in a program in order to detect synchronization errors, and, if no such errors exist, may determine the synchronization phases of the program. The method and system in one aspect may use a combination of path expressions and interprocedural program slicing to match the synchronization statements that may execute along each program path. If the synchronization matching succeeds, the method and system in one aspect may determine the sets of synchronization statements that synchronize together. A matching failure may indicate the presence of a synchronization error and the method and system in one aspect may construct a counter example to illustrate the error. |
isCitedBy | http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-2011041123-A1 http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-2012174074-A1 http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-2010281469-A1 http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-8832659-B2 http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-2014359577-A1 http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-9489284-B2 http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-9146737-B2 http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-8612954-B2 http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-8707272-B2 http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-2012144372-A1 |
priorityDate | 2007-02-20-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
type | http://data.epo.org/linked-data/def/patent/Publication |
Incoming Links
Total number of triples: 28.