Code Generation = A* + BURS.

Albert Nymeyer, Joost-Pieter Katoen, Ymte Westra, Henk Alblas

Browse the full CC paper archive.