SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
  SRI Logo

Rank Analysis in the GLU Compiler
 by Chris Dodd.

Rank analysis in Lucid is crucial for efficient implementation. The GLU compiler uses a set of simple rules for determining the rank of every term, and iterates these rules until it reaches a fixed point. As it is impossible to exactly determine the rank in some cases, the GLU compiler deliberately overestimates the rank where it cannot determine it exactly.


About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2019 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy