Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2005-03-31
2009-08-11
Zhen, Wei Y (Department: 2191)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C717S134000, C717S151000
Reexamination Certificate
active
07574700
ABSTRACT:
In accordance with one embodiment of the present invention, a technique for supporting dynamically typed languages in typed assembly languages is provided. According to one embodiment, a new bytecode instruction, “invokedynamic,” supplements “invokevirtual.” Prior to the execution of a typed assembly language program, it is determined whether a particular method-invoking instruction is a particular kind of instruction. If the instruction is of the particular kind, then the verifier refrains from performing the usual pre-execution type checking of the arguments that will be on the operand stack when the instruction is executed. Consequently, the bytecode instruction may be used to represent the invocation of a method that might not indicate formal parameter types. Because the verifier performs less stringent type checking in response to such an instruction, the JVM can execute assembly language programs that were generated based on source code that was written in a dynamically typed language.
REFERENCES:
patent: 5740441 (1998-04-01), Yellin et al.
patent: 5966702 (1999-10-01), Fresko et al.
patent: 5999731 (1999-12-01), Yellin et al.
patent: 6081665 (2000-06-01), Nilsen et al.
patent: 6247171 (2001-06-01), Yellin et al.
patent: 6327700 (2001-12-01), Chen et al.
patent: 6330709 (2001-12-01), Johnson et al.
patent: 6338160 (2002-01-01), Patel et al.
patent: 6438745 (2002-08-01), Kanamaru et al.
patent: 6477702 (2002-11-01), Yellin et al.
patent: 6513156 (2003-01-01), Bak et al.
patent: 6591416 (2003-07-01), Bak et al.
patent: 6658573 (2003-12-01), Bischof et al.
patent: 6704923 (2004-03-01), Gosling
patent: 6745384 (2004-06-01), Biggerstaff
patent: 6910205 (2005-06-01), Bak et al.
patent: 7058929 (2006-06-01), Charnell et al.
patent: 7080366 (2006-07-01), Kramskoy et al.
patent: 7103882 (2006-09-01), Kawahito
patent: 2002/0188827 (2002-12-01), Long
patent: 2003/0154468 (2003-08-01), Gordon et al.
Bracha, Gilad, “Generics in the Java Programming Language,” [online], Jul. 5, 2004, [retrieved on Jun. 14, 2005]. Retrieved from the Internet: <http://java.sun.com/j2se/1.5/pdf/generics-tutorial.pdf>, pp. 1-23.
Duggan, Dominic, “Sharing in Typed Module Assembly Language,” Types in Compilation, Third International Workshop, 2001, XP-002384687 , pp. 85-116.
European Patent Office, “Extended European Search Report,” App. No. 06251778.4, dated Jun. 23, 2003, 4 pages.
Claims as Filed, App. No. 06251778.4, 10 pages.
Nguyen Phillip H
Osha • Liang LLP
Sun Microsystems Inc.
Zhen Wei Y
LandOfFree
Supporting dynamically-typed languages in typed assembly... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Supporting dynamically-typed languages in typed assembly..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Supporting dynamically-typed languages in typed assembly... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4136649