Method and apparatus for optimizing code

Details Method and apparatus for optimizing code Method and apparatus for optimizing code

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.

Affiliated with

Also associated with

Rating

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.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3699754