File language verification
US7506175B2 · kind B2 · utility
4Cited by
12References
9Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Nov 5, 2001 |
| Grant date | Mar 17, 2009 |
| Priority date | — |
| Expiry date | Mar 15, 2026 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG11B20/00086
- WIPO fieldAudio-visual technology
- WIPO sectorElectrical engineering
Abstract
A technique for language verification of a Java® card CAP file is provided. The Java® card CAP file is converted from an original Java® code file while conserving its original Java® semantics. The Java® card CAP file is converted into a corresponding converted Java® code file that is semantically identical to the Java® card CAP file. In a language-verification step, the converted Java® code file is then verified if it has been found to comply with a predetermined language specification.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.