Invention Grant
- Patent Title: Code translation verification
- Patent Title (中): 代码翻译验证
-
Application No.: US11097421Application Date: 2005-03-31
-
Publication No.: US07707562B1Publication Date: 2010-04-27
- Inventor: Markus Kaltenbach
- Applicant: Markus Kaltenbach
- Main IPC: G06F9/45
- IPC: G06F9/45
Abstract:
The present invention translation verification system and method verifies code fragment translations and/or optimizations that are bounded by externally observable information.
Information query
