(Format for Output of Register allocation Directives)

FORD is a format for specifying different register allocation directives. These directives are represented as maps over the sets given in the input MIRA program. FORD is formally described in the technical report. A sample FORD file can be found here.

A short description of each term is given here for a quick reference: