Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2007-03-22
2011-12-13
Das, Chameli (Department: 2197)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C717S139000, C717S146000, C717S148000
Reexamination Certificate
active
08079023
ABSTRACT:
Described is a technology by which a compiler's intermediate representation is generated in a way that includes type checking to ensure safe execution. Typed representation of virtual method invocation uses an exact class name to represent objects of the class but not those of the subclasses, and a combined class type as an encoding of an existential type to represent objects of the class and subclasses of the class. Typed representation of interface method invocation is also provided, as is testing whether the object can be cast to a class, to an interface and/or to a class vector. Vector store checking is also able to be type checked. The medium-level intermediate representation is translated into a low-level intermediate representation, including choosing data representation for types, and converting medium-level intermediate representation operators into instructions in the low-level representation. Using a typed intermediate representation without scopes and determining the scopes of type variables when performing type checking is also described.
REFERENCES:
patent: 4989132 (1991-01-01), Mellender et al.
patent: 5339419 (1994-08-01), Chan et al.
patent: 5355494 (1994-10-01), Sistare et al.
patent: 5606697 (1997-02-01), Ono
patent: 5761511 (1998-06-01), Gibbons et al.
patent: 5836014 (1998-11-01), Faiman, Jr.
patent: 5848236 (1998-12-01), Dearth et al.
patent: 6175956 (2001-01-01), Hicks et al.
patent: 6233732 (2001-05-01), Matsuyama et al.
patent: 6314559 (2001-11-01), Sollich
patent: 6804686 (2004-10-01), Stone et al.
patent: 6851108 (2005-02-01), Syme et al.
patent: 7032021 (2006-04-01), Froeschl et al.
patent: 7086041 (2006-08-01), Plesko et al.
patent: 7117488 (2006-10-01), Franz et al.
patent: 7184917 (2007-02-01), Pramanick et al.
patent: 7185003 (2007-02-01), Bayliss et al.
patent: 7512938 (2009-03-01), Tarditi et al.
patent: 7627862 (2009-12-01), Chen
patent: 7685581 (2010-03-01), Plesko et al.
patent: 7788652 (2010-08-01), Plesko et al.
patent: 2002/0138819 (2002-09-01), Hills
patent: 2003/0070006 (2003-04-01), Nadler et al.
patent: 2003/0084325 (2003-05-01), Koved et al.
patent: 2004/0073893 (2004-04-01), Rajaram et al.
patent: 2004/0098374 (2004-05-01), Bayliss et al.
patent: 2004/0172614 (2004-09-01), Gallagher
patent: 2004/0268328 (2004-12-01), Plesko et al.
patent: 2005/0015673 (2005-01-01), Plesko et al.
patent: 2005/0022087 (2005-01-01), Pramanick et al.
patent: 2006/0158354 (2006-07-01), Aberg et al.
patent: 2006/0212847 (2006-09-01), Tarditi et al.
patent: 2006/0212861 (2006-09-01), Tarditi, Jr. et al.
patent: 2007/0169040 (2007-07-01), Chen
Title: Type Elaboration and Subtype Completion for Java Bytecde, author: Knoblock et al, dated: Nov. 23, 1999.
Reppy, John, “Type-sensitive Control-flow Analysis”, Date: Sep. 16, 2006; http://people.cs.uchicago.edu/˜jhr/papers/2006/ml-typed-cfa.pdf.
Shao, et al., “Implementing typed intermediate languages”, Date: 1998, pp. 313-323, ACM Press, New York, USA, http://portal.acm.org/citation.cfm?id=289423.289460.
Vink, Gerard, “Trends and requirements in compiler technology for embedded cores”, Date: Jun. 2005, http://www.tasking.com/technology/ecejun05p32.pdf.
Das Chameli
Gonzalez, Saggio & Harlan LLP
Microsoft Corporation
LandOfFree
Typed intermediate language support for existing compilers does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Typed intermediate language support for existing compilers, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Typed intermediate language support for existing compilers will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4255646