Existential type packing for structurally-restricted existential types
US10521204B2 · kind B2 · utility
0Cited by
2References
20Claims
0Family size
Assignee
Inventor
Key dates
| Filing date | May 23, 2016 |
| Grant date | Dec 31, 2019 |
| Priority date | — |
| Expiry date | May 23, 2036 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/437
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A compiler may perform type checking as part of analyzing source code. The type checking may include existential type packing for structurally-restricted existential types. At compile time, the compiler may need to use an existential type that does not conform to the language's structural rules. The compiler may apply the “pack” operation described herein to produce a supertype of the desired existential type that does conform to the language's structural rules, and thus can be used as an approximation of the desired type. The compiler may then perform additional type checking using the resulting type.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.