Inductive synthesis of table-based string transformations
US8650207B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Dec 2, 2011 |
| Grant date | Feb 11, 2014 |
| Priority date | — |
| Expiry date | Feb 21, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F40/18
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Inductive synthesis and combination framework technique embodiments are presented that generally perform string transformations involving lookup operations in one or more relational tables, either alone or in combination with other non-lookup operations. More particularly, a semantic string lookup transformation language is presented, which can be used to generate an inductive synthesis procedure that synthesizes a set of transformations involving lookup operations that are consistent with the given set of input-output examples. In addition, a combination framework for combining the lookup transformation language and its synthesis procedure, with other transformation languages and their associated synthesis procedures, is presented. The resulting combined synthesis procedures enable the combination framework to synthesize transformations on a rich variety of data-types.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.