Static type checking across module universes
US9652207B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Mar 13, 2013 |
| Grant date | May 16, 2017 |
| Priority date | — |
| Expiry date | Jul 13, 2033 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/20
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Static type checking can be performed on types and values defined in modules in a system that dynamically composes programs from modules. The types and values do not share a global namespace. Each module defines its own module universe, disjoint from other modules. A language mechanism can establish a local name binding to one module within the content of another module. When type checking at compile time an environment can be established that corresponds to a runtime instance of the program. The static type system can be arranged to align with the runtime values, such that the names used to refer to objects at runtime are the same as the names used to refer to the types of those objects in the static type system. Aliases of a particular type are resolved to a known compile time description of the type.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.