What are desirable properties of translation?

Source level expressiveness best performance

translation efficiency - not all of these are cheap if O(n^3), compilation takes a long time. e.g. n = 1*10^6 Register allocation is NP-Complete. How to get a good solution?

maintainble compiler correctness