Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2006-11-21
2006-11-21
Chaki, Kakali (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C717S154000, C717S153000, C717S151000, C717S145000
Reexamination Certificate
active
07140006
ABSTRACT:
The invention provides a method and apparatus for optimizing code. Embodiments of the present invention comprise, for each expression in an intermediate program representation, transparently forwarding definitions of variables in said expression as said expression is being parsed by a term rewriter, the intermediate program representation being left unchanged; determining whether a term rewriting rule exists in the term rewriter for said expression; and rewriting said expression in the intermediate program representation according to said rule.
REFERENCES:
patent: 6026241 (2000-02-01), Chow et al.
patent: 6182284 (2001-01-01), Sreedhar et al.
patent: 6249910 (2001-06-01), Ju et al.
patent: 6651247 (2003-11-01), Srinivasan
patent: 2002/0095667 (2002-07-01), Archambault
patent: 2002/0124239 (2002-09-01), Nelson
patent: 2003/0023959 (2003-01-01), Park
Visser et al., Building Program Optimizers with Rewriting Strategies, ACM, 1998.
Antoy et al., A Needed Narrowing Strategy, ACM, Jul. 2000.
Moreau et al., Compilation of Associative-Commutative Normalisation with Strategies in ELAN, 1998.
Fokkink et al., Within ARM's Reach: Compilation of Left-Linear Rewrite Systems Via Minimal Rewrite Systems, ACM, 1998.
Moreau et al., A Compiler for Rewrite Programs in Associative-Commutative Theories, 1998.
Younqiang et al., The Design And Implementation of a Program Development System Based on Rewriting Method., ACM, 1997.
Ogata et al., Optimizing Term Rewriting using Discrimination Nets with Specialization, ACM, 1998.
Schupp et al., User-extensible Simplification—Type-based Optimizer Generators, Apr. 2001.
Cherniack et al., Changing the Rules: Transformations for Rule-Based Optimizers, ACM, 1998.
Fahringer, “Symbolic Expression Evaluation to Support Parallelizing Compilers,” Jan. 1997.
Field et al., “Parametric Program Slicing,” ACM, 1995.
Harrison, III Williams L.
Seed Cotton
Blakely , Sokoloff, Taylor & Zafman LLP
Chaki Kakali
Intel Corporation
Kang Insun
LandOfFree
Method and apparatus for optimizing code does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and apparatus for optimizing code, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for optimizing code will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3699754