Type checking in java computing environments

Details Type checking in java computing environments Type checking in java computing environments

2005-09-20

2005-09-20

Chaki, Kakali (Department: 2193)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

Reexamination Certificate

active

06948156

ABSTRACT:
Techniques for checking in JAVA™ computing environments are disclosed. The techniques can be used by a JAVA™ virtual machine to efficiently perform type checking. A JAVA™ class hierarchy which represents the hierarchical relationship of parent classes of JAVA™ class can be implemented as an array of class references. The array of class references can be used to efficiently perform type checking in JAVA™ computing environments. As a result, the performance of JAVA™ virtual machines, especially those operating with limited resources, is significantly enhanced.

REFERENCES:
patent: 5367685 (1994-11-01), Gosling
patent: 6557023 (2003-04-01), Taivalsaari
patent: 6560774 (2003-05-01), Gordon et al.
patent: 6581206 (2003-06-01), Chen
patent: 6711576 (2004-03-01), Tuck et al.
patent: 6714991 (2004-03-01), Bak et al.
patent: 2002/0199169 (2002-12-01), Sokolov et al.
patent: 2003/0014555 (2003-01-01), Cierniak
patent: 2004/0015850 (2004-01-01), Sokolov et al.
Vitek et al., “Efficient Type Inclusion Tests,” ACM, 1997.
Goldberg, “A Specification of Java Loading and Bytecode Verification,” ACM, 1998.
Knoblock et al., “Type Elaboration and Subtype Completion for java Bytecode,” ACM, 2000.
Dattatri, “C++:Effective Object-Oriented Software Construction,” Prentice Hall, 2000, pp. 568-575.
Aho et al., “Compilers: Principles, Techniques, and Tools,” Addison-Wesley, 1986, chapters 6 and 7.
Qualline, Practical C++ Programming, O'Reilly & Associates, pp. 227-247, 1997.
Dave Marshall, “Pointers,” May 1999, <http://web.archive.org/web/19990508132024./http://www.cs.cf.ac.uk/Dave/C
ode 10.html>.
Lindholm et al., “The Java™ Virtual Machine Specification,” (Sep., 1996), Sun Microsystems, Inc., Chapters 1-10 (173 pp.).

Affiliated with

Also associated with

Rating

Type checking in java computing environments does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Type checking in java computing environments, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Type checking in java computing environments will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3427754