Verifier to check intermediate language
US7171655B2 · kind B2 · utility
64Cited by
15References
20Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Feb 19, 2003 |
| Grant date | Jan 30, 2007 |
| Priority date | — |
| Expiry date | Jul 14, 2024 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F9/44589
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Verification of intermediate language code. In one embodiment, a computer-implemented method first verifies metadata of an intermediate language code for consistency and accuracy, and then verifying the intermediate language code for consistency and accuracy. This latter part in one embodiment is accomplished by performing first a syntactic check of the intermediate language code, and then a semantic check of the intermediate language code.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.