supercompilation (compilation + super-): A technique, involving multiple metacompilations, that seeks to optimize a program