User Tools

Site Tools


reference:rename_tac

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: by 178.26.109.100

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki