PATENT CLAIM ANALYSIS

Application Number: 16059719
Application Type: Utility
Filing Date: 2018-08
Publication Date: 2018-12
Patent Classification: ["717", "116000"]

Abstract:
A method is provided for synthesizing a computer program by a hardware processor and a program synthesizer. The method includes representing program components and registers by position set variables and constraints on the position set variables using Monadic Second-Order Logic. The method further includes determining potential combinations of the program components by solving the constraints. The method also includes forming the computer program from at least one of the potential combinations.

Claim (Index 11):
The method of  claim 7 , wherein the statements include a function, parameters of the function, and a return variable of the function.

Metadata:
- Claim Count in Document: 50.0
- Percentile: 96.0
- Lexical Diversity: 1.78571
- Patent Class: 717.0
- Transitional Phrase Type: none
- Component Type: 0
- Foreign Priority: False
- Related Applications: ['14970294', '12825610', '12907974', '12762002', '13909678']

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.3801734055371601
- 35 USC 102 Novelty (BERT): 0.518470960717104
- Combined Prediction Score: 0.3940031610551545
- Mean Citation Score: 169.99746199999996
- Max Citation Score: 294.0296600000001
- Similarity Product: 249.92607676135188

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

Dataset: test