> a language and its compiler/interpreter

I heard "high-level program translation framework".