Resumo
O processo de automatização da criação de backends de compiladores, isto é, docomponente responsável principalmente pela tradução final para código de máquina, é perseguido desde o início da formação da teoria decompiladores. Esta pressão por isolar o código, da descrição formal da máquina, decorre das características do desenvolvimento destescomponentes: um processo longo, envolvendo aná…