Query pattern to enable type flow of element types
US7805456B2 · kind B2 · utility
30Cited by
12References
18Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Feb 5, 2007 |
| Grant date | Sep 28, 2010 |
| Priority date | — |
| Expiry date | May 18, 2028 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F16/2423
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
The claimed subject matter relates to a formalization of operator patterns that can facilitate type flow of element types between an operator in a first clause of an expression to an operator in a next clause of the expression. The type that flows to, and the operator extant in, the next clause can be combined to infer the element type of the next clause. As such, type-checking, autocompletion and other advantageous features can be accomplished incrementally without the need for a prior full translation of the expression.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.