Wide-spectrum type system incorporating representation types, correctness types, coercions, and function overload resolution
US9104428B1 · kind B1 · utility
0Cited by
2References
14Claims
0Family size
Assignee
Inventor
Key dates
| Filing date | Nov 27, 2013 |
| Grant date | Aug 11, 2015 |
| Priority date | — |
| Expiry date | Nov 27, 2033 |
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.