Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2007-06-05
2007-06-05
Dam, Tuan (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C369S047330, C707S793000, C712S202000
Reexamination Certificate
active
10603438
ABSTRACT:
One embodiment of the present invention provides a system that facilitates code verification and garbage collection in a platform-independent virtual machine. The system operates by first receiving a code module written in a platform-independent language. Next, the system examines the code module to locate calls to program methods within the code module. The system then transforms the code module so that all operands remaining on the evaluation stack only relate to the called method when the method is called, thereby simplifying verification and garbage collection of the code module.
REFERENCES:
patent: 5893121 (1999-04-01), Ebrahim et al.
patent: 6047125 (2000-04-01), Agesen et al.
patent: 6058457 (2000-05-01), Tremblay et al.
patent: 6253215 (2001-06-01), Agesen et al.
patent: 6532531 (2003-03-01), O'Connor et al.
patent: 6748503 (2004-06-01), Morrison
Shaylor, N., Simon, D. N., and Bush, W. R. 2003. A java virtual machine architecture for very small devices. In Proceedings of the 2003 ACM SIGPLAN Conference on Language, Compiler, and Tool For Embedded Systems (San Diego, California, USA, Jun. 11-13, 2003). LCTES '03. ACM Press, New York NY, 34-41. DOI=http://doi.acm.org/10.1145/780732.780738.
Nik Shaylor, Aug. 2 2002, “A Just-In-Time compiler for memory constrained low-power devices”, USENIX Association, Proceedings of the Java™ Virtual Machine Research and Technology Symposium (JVM '02), 8 pages + cover.
Leroy, X. 2002. Bytecode verification on Java smart cards. Softw. Pract. Exper. 32, 4 (Apr. 2002), pp. 319-340.
Agesen, O., Detlefs, D., and Moss, J. E. 1998. Garbage collection and local variable type-precision and liveness in Java virtual machines. In Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation (Montreal, Quebec, Canada, Jun. 17-19, 1998). A. M. Berman, Ed. PLDI '98. ACM Press, New York, NY, 269-279.
Cheng, P., Harper, R., and Lee, P. 1998. Generational stack collection and profile-driven pretenuring. In Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation (Montreal, Quebec, Canada, Jun. 17-19, 1998). A. M. Berman, Ed. PLDI '98. ACM Press, New York, NY, 162-173.
Shaylor Nicholas
Simon Douglas N.
Dam Tuan
Park Vaughan & Fleming LLP
Rutten J. Derek
LandOfFree
Method and apparatus to facilitate code verification and... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and apparatus to facilitate code verification and..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus to facilitate code verification and... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3846983