Creating and checking runtime data types
US7350198B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Sep 9, 2003 |
| Grant date | Mar 25, 2008 |
| Priority date | — |
| Expiry date | Feb 3, 2026 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/437
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Methods and apparatus, including computer program products, for defining and using data types at runtime. A procedural source code program is compiled to generate a compiled program having instructions to create a runtime data type and to use the runtime data type. The runtime data type has a compound structure of referenced data types. Instructions to create a runtime data type having a compound structure are executed by creating a runtime data type definition from the compound structure of referenced data types by resolving the referenced data types bottom up into data types known at runtime. A data object having the runtime data type is created. Type checking is performed on uses of the data object at runtime according to the runtime data type.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.