Wide-spectrum type system incorporating representation types, correctness types, coercions, and function overload resolution
US8627282B1 · kind B1 · utility
6Cited by
2References
8Claims
0Family size
Assignee
Inventor
Key dates
| Filing date | Apr 1, 2011 |
| Grant date | Jan 7, 2014 |
| Priority date | — |
| Expiry date | Jun 27, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F9/4484
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
In an embodiment of the invention, one or more tangible non-transitory computer-readable storage media may store the following instructions. Defining representation type spaces R1 and R2 and correctness type spaces C1 and C2 over the representation type spaces R1 and R2, respectively. Defining a representation type space R and a correctness type space C over the representation type space R, such that a semilattice associated with the correctness type space C is a function semilattice over respective semilattices associated with the correctness type spaces C1 and C2.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.