Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2006-12-05
2006-12-05
Chavis, John (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
Reexamination Certificate
active
07146606
ABSTRACT:
Various intermediate representation techniques for software development tool scenarios are described. An intermediate representation format can be used for both high level and low level representations. The intermediate representation can be built from various operands and instructions types. Various annotations can be added to the intermediate representation without modifying its format. For example, flow control and data control can be explicitly represented by threading a graph through the intermediate representation.
REFERENCES:
patent: 4197978 (1980-04-01), Kasper
patent: 5339419 (1994-08-01), Chan et al.
patent: 5488727 (1996-01-01), Agrawal et al.
patent: 5598560 (1997-01-01), Benson
patent: 5628016 (1997-05-01), Kukol
patent: 5696974 (1997-12-01), Agrawal et al.
patent: 5742828 (1998-04-01), Canady et al.
patent: 5768595 (1998-06-01), Gillies
patent: 5778233 (1998-07-01), Besaw et al.
patent: 5857105 (1999-01-01), Ayers et al.
patent: 5918235 (1999-06-01), Kirshenbaum et al.
patent: 5937195 (1999-08-01), Ju et al.
patent: 5943499 (1999-08-01), Gillies et al.
patent: 5966702 (1999-10-01), Fresko et al.
patent: 5999739 (1999-12-01), Soni et al.
patent: 6009273 (1999-12-01), Ayers et al.
patent: 6070011 (2000-05-01), Liu et al.
patent: 6148302 (2000-11-01), Beylin et al.
patent: 6149318 (2000-11-01), Chase et al.
patent: 6182284 (2001-01-01), Sreedhar et al.
patent: 6202204 (2001-03-01), Wu et al.
patent: 6247169 (2001-06-01), DeLong
patent: 6249910 (2001-06-01), Ju et al.
patent: 6253304 (2001-06-01), Hewitt et al.
patent: 6289446 (2001-09-01), Nilsson
patent: 6353924 (2002-03-01), Ayers et al.
patent: 6363522 (2002-03-01), Click et al.
patent: 6374368 (2002-04-01), Mitchell et al.
patent: 6412109 (2002-06-01), Ghosh
patent: 6421667 (2002-07-01), Codd et al.
patent: 6460178 (2002-10-01), Chan et al.
patent: 6481008 (2002-11-01), Chaiken et al.
patent: 6625804 (2003-09-01), Ringseth et al.
patent: 6625808 (2003-09-01), Tarditi
patent: 6662356 (2003-12-01), Edwards et al.
patent: 6678805 (2004-01-01), Corduneanu et al.
patent: 6745383 (2004-06-01), Agarwal et al.
patent: 6748584 (2004-06-01), Witchel et al.
patent: 2002/0083425 (2002-06-01), Gillies et al.
patent: 2002/0095667 (2002-07-01), Archambault
patent: 2002/0166115 (2002-11-01), Sastry
patent: 2002/0170044 (2002-11-01), Tarditi et al.
patent: 2003/0101335 (2003-05-01), Gillies et al.
patent: 2003/0101380 (2003-05-01), Chaiken et al.
patent: 2003/0217196 (2003-11-01), Chan et al
patent: 2003/0217197 (2003-11-01), Chan et al.
patent: 2003/0226133 (2003-12-01), Grover
patent: 2004/0025152 (2004-02-01), Ishizaki et al.
patent: 2004/0049769 (2004-03-01), Lueh et al.
patent: 2004/0098710 (2004-05-01), Radigan
patent: WO 01/48607 (2001-07-01), None
Tarditi et al.; “No Assembly Required: Compiling Standard ML to C”; Kluwer Academic Publishers, 1990; pp. 1-16.
Okasaki et al.; “Call-by-Need and Continuation-passing Style”; Lisp and Symbolic Computation: An International Journal; Kluwer Academic Publishers, 1993; pp. 1-25.
Johnson et al.; “Dependence-Based Program Analysis”; ACM SIGPLAN'93 PLDI, Jun. 1993; pp. 1-12.
Ayguade et al.; “A Uniform Internal Representation for High-Level and Instruction-Level Transformations”; 1994; pp. 1-25.
Weaver et al.; “Score: A Compiler Representation for Heterogeneous Systems”; Dec. 1995; pp. 1-14.
Saito et al.; “PROMIS IR Design”; Sep. 29, 1997; pp. 1-4.
Saito et al.; “PROMIS IR Implementation—AST Components—”; Sep. 29, 1997; pp. 1-4.
Polychronopoulos et al.; “The Promis Compiler Project—Annual Report”; Oct. 1, 1997; pp. 1-15.
Cho et al.; “High-Level Information—An Approach for Integrating Front-End and Back-End Compiler”; Aug. 1998; pp. Cover page and 1-19.
Larus; “Whole Program Paths”; Proceedings of the SIGNPLAN'99 Conference on Programming Language Design and Implementation (PLDI99), May 1999; pp. 1-11.
Fitzgerald et al.; “Marmot: An Optimizing Compiler for Java”; Technical Report MSR-TR-99-33; Jun. 16, 1999; pp. cover page and 1-29.
Fitzgerald et al.; “The Case Profile-Directed Selection of Garbage Collectors”; 2000; pp. 1-10.
“1.3 Compiler Architecture” http://1ambda.uta.edu/cse5317
otes
ode5.html visited on May 20, 2003; pp. 1-2.
“Implementation of a Parallelizing Compiler with a Universal Intermediate Representations: Translating of Source Codes into Universal Intermediate Representations” http://www.ipsj.or.jp/members.SIGNotes/Eng/22/1997/017/article004.html visited on May 20, 2003; pp. 1-2.
“Scale Download”; Dept. of Computer Science, University of Massachusetts Amherst; http://www-ali.cs.umass.edu/Scale/download.html visited on May 20, 2003; pp. 1-13.
“Overview of the SA-C Compiler” http://www.cs.colostate.edu/Cameron/compiler.html visited on May 20, 2003; pp. 1-2.
“PROMIS Release Announcement” http://www.csrd.uiuc.edu/promis/release—announcement.html visited on May 20, 2003; pp. 1-3.
“Scale”; Dept. of Computer Science, University of Massachusetts Amherst; http://www-ali.cs.umass.edu/Scale/ visited on May 20, 2003; pp. 1-46.
“CIL: Infrastructure for C Program Analysis and Transformation”; May 30, 2003; pp. 1-54.
“PROMIS Implementation—The Illinois-Irvine PROMIS Team” http://www.csrd.uiuc.edu/promis/ visited on Jun. 4, 2003; pp. 1-32.
“Illinois-Irvine PROMIS Compiler Internal Representation” http://www.csrd.uiuc.edu/promis/ visited on Jun. 4, 2003; pp. 1-17.
“Technical Overview” http://www.csrd.uiuc.edu/promis/overview.html visited on Jun. 4, 2003; pp, 1-2.
“A Parallelizing Compiler Framework” http://www.csrd.uiuc.edu/promis/home.html visited on Jun. 4, 2003; pp. 1-2.
“Demystifying .NET Compilation” http://www.zdnet.com.au/printfriendly?AT=2000035027-20264543 visited on Jul. 14, 2003; pp. 1-4, including 1 page of “Figure A”.
Ramsey and Jones, “A single intermediate language that supports multiple implementations of exceptions,” May 2000, ACM SIGPLAN Notices, PLDI 2000, vol. 35, Issue 5, ISBN:1-58113-199-2, pp. 285-298.
Choi et al., “Efficient and precise modeling of exceptions for the analysis of Java programs,” Sep. 1999, ACM SIGSOFT Software Engineering Notes, PASTE '99, vol. 24 Issue 5, ISSN:0163-5948, pp. 21-31.
Hennessy “Program optimization and exception handling,” Jan. 1981, Proceedings of the 8thACM SIGPLAN-SIGACT symposium on Principles of programming languages, ISBN:0-89791-029-X, pp. 200-206.
Woo et al., “Alias analysis for exceptions in Java,” Jan. 2002, Australian Computer Science Communications, ACSC2002, vol. 24, Issue 1, ISBN-ISSN;1445-1336, 0-909925-82-8, pp. 321-329.
Robillard et al., “Analyzing exception flow in Java programs,” Oct. 1999, ACM SIGSOFT Software Engineering Notes ESEC/FSE-7, vol. 24, Issue 6, ISBN:3-540-66538-2 pp. 322-337.
Gosling “Java intermediate bytecodes,” Mar. 1995, ACM SIGPLAN Notices, IR '95, vol. 30, Issue 3, ISSN:0362-1340, pp. 111-118.
Burke et al., “The Jalapeño dynamic optimizing compiler for Java,” Jun. 1999, Proceedings of the ACM 1999 conference on Java Grande, ISBN:1-58113-161-5, pp. 129-141.
Litwak, “PURE Java™ 2,” Dec. 1999, Sams Publishing, ISBN:0-672-31654-4, Chapter 10.
Kienle, “A SUIF Java Compiler,” Aug. 1998, University of California Santa Barbara, Technical Report TRCS98-18, Section 5.9, 6.9, 8.3, and 9.2.15.
“C/C++Language Reference: try-except Statement,” May 11, 2000, Microsoft Corp., accessed Jul. 10, 2005 at <http://msdn.microsoft.com/library/default.asp?url=/library/en-us/vccelng/htm/key—s-z—4.asp>, 2 pages.
International Search Report, Sep. 1, 2005, PCT/US04/15965, 13 pages.
Arnold et al., “Exploring the Interaction between Java's Implicitly Thrown
Burger Julian
Grover Vinod K.
Mitchell Charles L.
Tarditi, Jr. David Read
Chavis John
Microsoft Corporation
LandOfFree
General purpose intermediate representation of software for... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with General purpose intermediate representation of software for..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and General purpose intermediate representation of software for... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3706826