Combined verification and compilation of bytecode

Data processing: software development – installation – and managem – Software program development tool – Translation of code

Reexamination Certificate

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

C717S152000, C717S153000, C717S148000, C717S146000, C717S140000, C717S118000, C717S139000

Reexamination Certificate

active

10991444

ABSTRACT:
The present invention is a new method and apparatus to perform combined compilation and verification of platform independent bytecode instruction listings into optimized machine code. More specifically, the present invention creates a new method and apparatus in which bytecode compilation instructions are combined with bytecode verification instructions, producing optimized machine code on the target system in fewer programming steps than traditionally known. The new method, by combining the steps required for traditional bytecode verification and compilation, increases speed and applicability of platform independent bytecode instructions.

REFERENCES:
patent: 5590331 (1996-12-01), Lewis et al.
patent: 5630066 (1997-05-01), Gosling
patent: 5668999 (1997-09-01), Gosling
patent: 5692047 (1997-11-01), McManis
patent: 5740441 (1998-04-01), Yellin et al.
patent: 5748964 (1998-05-01), Gosling
patent: 5815661 (1998-09-01), Gosling
patent: 5848274 (1998-12-01), Hamby et al.
patent: 5909579 (1999-06-01), Agesen et al.
patent: 5970249 (1999-10-01), Holzle et al.
patent: 5978586 (1999-11-01), Baisley et al.
patent: 5999731 (1999-12-01), Yellin et al.
patent: 6052732 (2000-04-01), Gosling
patent: 6058482 (2000-05-01), Liu
patent: 6070239 (2000-05-01), McManis
patent: 6075940 (2000-06-01), Gosling
patent: 6092147 (2000-07-01), Levy et al.
patent: 6110226 (2000-08-01), Brothner
patent: 6139199 (2000-10-01), Rodriguez
patent: 6151703 (2000-11-01), Crelier
patent: 6170083 (2001-01-01), Adl-Tabatabai
patent: 6473777 (2002-10-01), Hendler et al.
patent: 2003/0084431 (2003-05-01), Kobayashi
patent: 2003/0084432 (2003-05-01), Kobayashi
Adl-Tabatabai, et al.: “Fast, Effective Code Generation in a Just-In-Time Java Compiler”, Intel Corporation, May 1998.
Hazi et al.: “Techniques for Obtaining High Performance in Java Programs”, ACM Computing Survery, 32(3):213-240, (2000).
Lindholm, T. and Yellin, F., “The JAVA Virtual Machine Specification—Second Edition, Addison Wesley, Mountain View, CA, ”http://java.sun.com/docs/books/vmspec/2nd-edition/html/Introduction.doc.html, (1997).
Lindholm, et al: “The Java Virtual Machine Specification”.
McGraw, G. and Felten, E., “Securing JAVA, Getting Down To Business With Mobil Code,” http://www.securingjava.com/chapter-two/chapter-two-6.html.
Per Bothner: “A Gcc-based Java Implementation”, IEEE, pp. 174-178, (1997).
Suganuma et al.: “Overview of the IBM Java Just-In-Time Compiler”, IBM Systems Journal, 39(1), (2000).
“The GNU Compiler For The JAVA Programing Language,” http://gcc.gnu.org/java/index.html.
Dittrich, D. and Dors, N., “JAVA,” http://staff.washington.edu/dittrich/talks/java/.
“The JAVA Tutorial,” http://java.sun.com/docs/books/tutorial/getStarted/problems/index.html.
“JAVA Optimization,” http://www-2.cs.cmu.edu/˜jch/java/compilers.html.
Tim Lindholm and Frank Yellin, “The JAVA Virtual Machine Specification—Second Edititon”, http://java.sun.com/docs/books/vmspec/2nd-edition/html/Introduction.doc.html.
Gary McGraw and Ed Felten, “Securing JAVA, Getting Down To Business With Mobil Code”, http://www.securingjava.com/chapter-two/chapter-two-6.html.
“The GNU Compiler For The JAVA Programming Language”, http://gcc.gnu.org/java/index.html.
Dave Dittrich and Nathan Dors, “JAVA”, http://staff.washington.edu/dittrich/talks/java/.
“The JAVA Tutorial”, http://java.sun.com/docs/books/tutorial/getStarted/problems/index.html.
“JAVA Optimization” http://www-2.cs.cmu.edu/˜jch/java/compilers.html.
Adl-Tabatabai et al.: “Fast, Effective Code Generation in a Just-In-Time Java Compiler”, Intel Corporation, May 1998.
Hazi et al.: “Techniques for Obtaining High Performance in Java Programs”, ACM Computing Survery, vol. 32, No. 3, Sep. 2000, pp. 213-240.
Suganuma et al.: “Overview of the IBM Java Just-In-Time Compiler”, IBM Systems Journal, vol. 39, No. 1, 2000.
Per Bothner: “A Gcc-based Java Implementation”, 1997 IEEE, pp. 174-178.
Lindholm et al: “The Java Virtual Machine Specification”, Addison Wesley, Mountain View, CA, 1997.
Alpern et al., “The Jalapeño Virtual Machine,” IBM Systems Journal, vol. 39, No. 1, 2000, pp. 211-238.

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

Combined verification and compilation of bytecode does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Combined verification and compilation of bytecode, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Combined verification and compilation of bytecode will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFUS-PAI-O-3896574

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.