PATENT CLAIM ANALYSIS

Application Number: 15918334
Application Type: Utility
Filing Date: 2018-03
Publication Date: 2019-09
Patent Classification: ["717", "161000"]

Abstract:
Embodiments of the present invention facilitate pruning a dependence graph for a loop in a computer program. An example computer-implemented method includes determining, by a compiler, a source and a sink of a dependence in the dependence graph. The method further includes determining, by the compiler, a source symbolic expression for the source, and a sink symbolic expression for the sink. The method further includes constructing, by the compiler, a difference expression using the source symbolic expression and the sink symbolic expression. The method further includes checking, by the compiler, if the difference expression is indicative of a memory overlap between the source and the sink. The method further includes, in response to the difference expression being indicative of no overlap, removing the dependence from the dependence graph, and generating object code for the computer program based on the dependence graph.

Claim (Index 14):
The system of  claim 13 , wherein checking whether the difference expression is indicative of a memory overlap comprises:\n verifying if an equation f(i\u2032)\u2212g(i)=0 has solutions, the equation representing the difference expression being equated to 0.

Metadata:
- Claim Count in Document: 50.0
- Percentile: 90.0
- Lexical Diversity: 3.0
- Patent Class: 717.0
- Transitional Phrase Type: none
- Component Type: 0
- Foreign Priority: False
- Related Applications: ['11861512', '11857211', '14492899', '14839539', '11861503']

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.4134244639451188
- 35 USC 102 Novelty (BERT): 0.5028259134654033
- Combined Prediction Score: 0.4223646088971473
- Mean Citation Score: 201.9777
- Max Citation Score: 205.97456
- Similarity Product: 143.55887192230225

Labels:
- Claim Label 101: 0
- Claim Label 102: 1
- Claim Label 103: 1
- Claim Label 112: 0
- Combined Label: 0
- Label 101 Adjusted: 0

Dataset: test