System and method for sensing types of local variables

Details System and method for sensing types of local variables System and method for sensing types of local variables

2003-04-14

2009-10-13

Dam, Tuan Q (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C717S154000, C717S159000

Reexamination Certificate

active

07603662

ABSTRACT:
Intermediate code is executable on a virtual machine. Hence, source code that is compiled on a first computing device can be distributed to a second computing device in an intermediate form as long as the second computing device has the appropriate virtual machine. In this way, the compilation can be done without regard to the underlying native processor on the second computing device. However, the intermediate code loses the original type information defined in the source code. By determining the variable types in the intermediate code, the intermediate code can be converted to a different intermediate language.

REFERENCES:
patent: 6438745 (2002-08-01), Kanamaru et al.
patent: 6668325 (2003-12-01), Collberg et al.
patent: 6738967 (2004-05-01), Radigan
patent: 6981249 (2005-12-01), Knoblock et al.
“A type system for certified binaries”, Shao et al., Jan. 2002, pp. 217-232. Online retrieved at <http://delivery.acm.org/10.1145/510000/503293/p217-shao.pdf>.
“Deciding type equivalence in a language with singleton kinds”, Stone et al., Dec. 2000, pp. 214-227. Online retrieved at <http://delivery.acm.org/10.1145/330000/325724/p214-stone.pdf>.

Affiliated with

Also associated with

Rating

System and method for sensing types of local variables does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with System and method for sensing types of local variables, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for sensing types of local variables will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4063439