Tradurre un programma compilato dalla sua versione linguaggio macchina in una forma che assomiglia, ma non può essere identico a, il programma di lingua di alto ordine originale.