Patent · US Active

Source code generation, completion, checking, correction

US9928040B2 · kind B2 · utility

23Cited by
5References
20Claims
0Family size

Assignee

Inventors

Key dates

Filing dateFeb 26, 2014
Grant dateMar 27, 2018
Priority date
Expiry dateFeb 26, 2034

Classification

  • Technology area (CPC G)Physics
  • CPC primaryG06F11/3604
  • WIPO fieldComputer technology
  • WIPO sectorElectrical engineering

Abstract

Automated generation, or completion, or checking of source code is described whereby a probabilistic model having been trained using a corpus of natural source code examples is used. In various examples the probabilistic model comprises probability distributions describing belief about structure of natural source code and takes into account source code analysis from a compiler or other source code analyzer. In various examples, source code analysis may comprise syntactic structure, type information and other data about source code. In various examples, the trained probabilistic model is used to predict sequences of source code elements. For example, to generate source code, to auto-complete source code, to error check source code, to error correct source code or for other purposes.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.