是否存在将高级语言编译为较低级语言（如C）的术语？

Question

我已经找到了这个问题的答案，但似乎找不到答案。我正在寻找这个术语，它指的是在中间阶段编译成其他编程语言的编程语言。例子是Haskell，Scheme，Common Lisp和ATS，它们都编译成C的某些变体。我可以发誓我记得在某些时候简要地研究过这个，并且看到这种现象被标记为特定的东西。我只是不记得是什么。

Answer 1

相关术语是“反编译”，但它指的是编译为任何语言，而不一定只是较低级别的语言。