rename_tac

Assigns new identifiers to bound variables from left to right. If there are more variables than new names, the rightmost are renamed.

reference/rename_tac.txt · Last modified: 2011/06/13 22:00 by 178.26.109.100
 
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki