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 20):
A system for synthesizing a computer program, comprising:\n a processor device operatively coupled to a computer-readable storage medium, the processor being configured for:\n representing program components and registers by position set variables and constraints on the position set variables; \n determining potential combinations of the program components by solving the constraints; and \n automatically synthesizing the computer program from at least one of the potential combinations using a program synthesizer executing on the processor.

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

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.3529296192216328
- 35 USC 102 Novelty (BERT): 0.5138521174639732
- Combined Prediction Score: 0.3690218690458668
- Mean Citation Score: 169.99746199999996
- Max Citation Score: 294.0296600000001
- Similarity Product: 261.22831080087667

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