Type system for declarative data scripting language
US8949784B2 · kind B2 · utility
3Cited by
3References
20Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Oct 3, 2008 |
| Grant date | Feb 3, 2015 |
| Priority date | — |
| Expiry date | Feb 22, 2033 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/31
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
An efficient, logical and expressive type system is provided for flexibly defining types of a declarative programming language so that efficient and structurally compact data intensive applications can be generated. The type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. With the type system, types can be expressed as intersections and/or unions of other types. Thus, types can be efficiently represented for a full range of types of data as may be found in real world data stores.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.