Bidirectional type checking for declarative data scripting language
US8762942B2 · kind B2 · utility
50Cited by
8References
12Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Oct 3, 2008 |
| Grant date | Jun 24, 2014 |
| Priority date | — |
| Expiry date | Feb 13, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/437
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
An efficient, logical and expressive 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. A bidirectional type checking algorithm is provided for the type system including synthesis and checking steps to statically verify types of code based on the type system.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.