Unified data type system and method

Details Unified data type system and method Unified data type system and method

2004-05-17

2011-11-22

Zhen, Li (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C717S120000

Reexamination Certificate

active

08065668

ABSTRACT:
A type system includes a dual representation for basic data types. One representation is the basic data type representation common to such basic built-in data types, known as an unboxed value type or simply as a value type. Each of the basic data types also has a boxed representation that can be stored in the object hierarchy of the type system. This dual representation can also be extended to user-defined types, so that user-defined types may exist both as an unboxed value type and as an object within the object hierarchy of the type system. This dual representation allows the compiler and/or runtime environment to select the most effective and efficient representation for the data type depending on the particular need at the moment.

REFERENCES:
patent: 5339424 (1994-08-01), Fushimi
patent: 5375242 (1994-12-01), Kumar et al.
patent: 5577253 (1996-11-01), Blickstein
patent: 5613117 (1997-03-01), Davidson et al.
patent: 5659753 (1997-08-01), Murphy et al.
patent: 5689703 (1997-11-01), Atkinson et al.
patent: 5873097 (1999-02-01), Harris et al.
patent: 5889992 (1999-03-01), Koerber
patent: 5923882 (1999-07-01), Ho et al.
patent: 5937409 (1999-08-01), Wetherbee
patent: 5987242 (1999-11-01), Bentley et al.
patent: 5987247 (1999-11-01), Lau
patent: 6058455 (2000-05-01), Islam et al.
patent: 6061690 (2000-05-01), Nori et al.
patent: 6067413 (2000-05-01), Gustafsson et al.
patent: 6101502 (2000-08-01), Heubner et al.
patent: 6246403 (2001-06-01), Tomm
patent: 6260074 (2001-07-01), Radia et al.
patent: 6282670 (2001-08-01), Rezaul Islam et al.
patent: 6336161 (2002-01-01), Watts
patent: 6353452 (2002-03-01), Hamada et al.
patent: 6370682 (2002-04-01), Eckhardt et al.
patent: 6381735 (2002-04-01), Hunt
patent: 6457172 (2002-09-01), Carmichael et al.
patent: 6523027 (2003-02-01), Underwood
patent: 6560699 (2003-05-01), Konkle
patent: 6601233 (2003-07-01), Underwood
patent: 6609128 (2003-08-01), Underwood
patent: 6738968 (2004-05-01), Bosworth et al.
patent: 6836883 (2004-12-01), Abrams et al.
patent: 6915324 (2005-07-01), Allavarpu et al.
patent: 7735071 (2010-06-01), Abrams et al.
patent: 2004/0143823 (2004-07-01), Wei
patent: 1 367 741 (1974-09-01), None
patent: 3-102427 (1991-04-01), None
patent: WO 99/42925 (1999-08-01), None
SNAP Foundation Template Using the SNAP Language Version 8.0, Template Software, Inc.
“Software Systems Constructions with Examples in ADA” by Bo Sanden, (7 pages) pp. 104-109, published 1994.
Microsoft Corporation, “C# Version 2.0 Specification”, pp. 1-100, May 2004.
Deitel & Deitel “C++ How to Program”, Second Edition, pp. 192-194, Published 1998, 1994.
Y.G. Park and B. Goldberg, Escape analysis on lists. InACM SIGPLAN Conference on Programming Language Design and Implementation, ACM Press, 1992, pp. 116-127.
S. Peyton Jones and J. Launchbury, Unboxed values as first class citizens. InFunctional Programming Languages and Computer Architecture, vol. 523of Lecture Notes in Computer Science, Springer-Verlag, 1991, pp. 636-666.
M. Tofte and J.P. Talpin, Region-based memory management.Information and Computation, 1997, 132(2), pp. 109-176.
X. Leroy. Unboxed objects and polymorphic. In19thACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, 1992, pp. 177-0188.
A.D. Gordon and D. Syme,Typing a multi-language intermediate code. Submitted to The 28thACM Principles of Programming Languages, (Feb. 2001), pp. 1-9.
U.S. Appl. No. 09/598,105, Titled: Method and System for Compiling Multiple Languages, filed Jun. 21, 2000.
Lindholm, Tim & Yellin, Frank, “The Java Virtual Machine Specification, Second Edition,” Sun Microsystems, 1999, Ch. 2, pp. 1-44.
Henglein, Fritz & Jorgensen, Jasper, “Formally Optimal Boxing,” Proceedings of the 21stACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994, pp. 213-216.
Thiemann, Peter, “Unboxed values and polymorphic typing revisiting,” Proceedings of the 7thInternational Conference on Functional Programming Languages and Computer Architecture, 1995, pp. 24-35.
Shao, Zhong, “Flexible Representation Analysis,” Proceedings of the second ACB SIGPLAN International Conference on Functional Programming, 1997, pp. 85-98.
James O. Coplien Ed, “Advanced C++ programming styles and idioms; IDSBN: 0-201-54855-0” 1992, Reeding, Addition Wesley, US, pp. 43 92-93, 108, XP002148185, *p. 135, Line 15-Last Line*, *p. 137, Figure 5-6*.
European Search Report for EP 01 11 6860 dated Jul. 31, 2007.
SNAP—Using the SNAP Language, Template Software, Chapter 7, published 1997, 35 pgs.
Rational Rose/C++, Rational Software Corporation, whole manual, released 1996 (2 parts), 210 pgs.
Burnett et al, Visual Object-Oriented Programming, pp. 1-42, 199-274, published 1994 (2 parts), 130 pgs.
GNU Tools, manual page of GCC (http://www.freebsd.org/cgi/man.cgi?query=gcc&apropos=0&sektion=0&manpath=FreeBSD+4. 8-RELEASE&format=html), Dec. 16, 1998, 34 pgs.
GNU Development Tools, manual page of ar (http://www.freebsd.org/cgi/man.cgi?query=ar&apropos=0&sektion=0&manpath=FreeBSD+4.8-RELEASE&format=html), 1999, 5 pgs.
Gosling et al, “The Java Language Environment. A White Paper”, Sun Microsystems Computer Company, Oct. 1, 1995, pp. 1, 4-85, XP 002042922, 86 pgs.
Andrew Johnson, James Loveluck and Ira Goldstein; The ANDF Technology Program at the OSF RI; Dec. 8, 1992, 6 pgs.
Christian Fabre, Francois de Ferriere, Fred Roy; Java-ANDF Feasibility Study Final Report; Mar. 26, 1997, 12 pgs.
Dr. N.E. Peeling; ANDF Features and Benefits; Feb. 5, 1993, 9 pgs.
Schmidt and Voller, “A Multi-Language Compiler System with Automatically Generated Codegenerators”, 1984, ACM, pp. 202-212.
Schmidt and Voller, “Experience With VDM in NORSK Data”, 1987, VDM-Europe Symposium, Brussels, Belgium, pp. 50-62.
Appel et al., “The Zephyr Compiler Infrastructure”, Nov. 1998, http://www.cs.virginia.edu/zephyr/, pp. 1-10.
Appel et al., “Scaling Proof-Carrying Code to Production Compilers and Security Policies”, Jan. 1999, DARPA-.
EPO Communication dated Feb. 13, 2008 issued in European Application No. 01 11 6860, 8 pgs.
Response to EPO Communication dated Aug. 26, 2008 filed in European Application No. 01 11 6860, 18 pgs.
Notice of Rejection dated Mar. 2, 2007 issued in Japanese Application No. 2001-209530 (translated), 13 pgs.
Notice of Rejection dated Jul. 6, 2007 issued in Japanese Application No. 2001-209530 (translated), 7 pgs.
Interrogation dated Dec. 18, 2009 issued in Japanese Application No. 2001-209530 (translated), 7 pgs.
Notice of Rejection dated Aug. 6, 2010 issued in Japanese Application No. 2001-209530 (translated), 29 pgs.
Decision to Decline the Amendment dated Aug. 13, 2010 issued in Japanese Application No. 2001-209530 (translated), 7 pgs.
Appeal Decision dated Dec. 3, 2010 issued in Japanese Application No. 2001-209530 (translated), 4 pgs.
Notice of Rejection dated Apr. 21, 2009 issued in Japanese Application No. 2007-287939 (translated), 9 pgs.
Notice of Rejection dated Sep. 11, 2009 issued in Japanese Application No. 2007-287939 (translated), 6 pgs.
Notice of Rejection dated Jan. 8, 2010 issued in Japanese Application No. 2007-287939 (translated), 2 pgs.
Decision to Decline the Amendment dated Jan. 8, 2010 issued in Japanese Application No. 2007-287939 (translated), 4 pgs.
Notice of Rejection dated Sep. 3, 2010 issued in Japanese Application No. 2007-287939 (translated), 3 pgs.
Notice of Allowance dated Dec. 24, 2010 issued in Japanese Application No. 2007-287939 (translated), 6 pgs.
C Magazine, vol. 2, No. 1, p. 112, SOFTBANK Japan Corp., Japan, Jan. 1, 1990, 1 pg.
EPO Communication dated Jun. 12, 2006 issued in European Application No. 01 115 100, 13 pgs.
Response to EPO Communication dated Oct. 23, 2006 issued in European Application No. 01 115 100.
Summons to attend oral proceedings dated Sep. 19, 2007 issued in European Application No. 01 115 100, 9 pgs.
Response to Summons to attend oral proceeding

Affiliated with

Also associated with

Rating

Unified data type system and method does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Unified data type system and method, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Unified data type system and method will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4269494