Inferring data types from compiler call site
US8843906B1 · kind B1 · utility
1Cited by
27References
26Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Oct 16, 2006 |
| Grant date | Sep 23, 2014 |
| Priority date | — |
| Expiry date | Feb 26, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/41
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Disclosed herein are methods and compilers for compiling code. The methods and compilers disclosed can compile a callable compilable unit of code free of declarations and assertions that identify attributes of arguments expressed therein. The attributes of the arguments in the callable compilable unit of code are inferred by the compilers and methods disclosed herein from information provided by a call site that calls a compiler to compile the callable compilable unit of code.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.