Сложная это задачка. Кажется есть такой термин. Кросскомпилляция.
Например фреймворк Java/GWT умеет собирать код под JavaScript. Разумеется с ограничениями.

По поводу универсализма. Скорее всего не взлетит для некоторых специфичных кейсов.
Например язык который поддерживает yield return скорее всего нельзя будет пересобрать
под Java. Т.к. последний не поддерживает уступчивый возврат значения. Или например
как поддержать обработку исключений в языке Go, в котом их нету.

Можно зайти с другой стороны. Собрать код типа JVM/CLR/LLVM на любом из языков которые
доступны. И заказать реверс инжинеринг из этого низкоуровневого кода обратно в целевой
языке. Как вариант мы получим код но с сильной потерей смысла. И какие-то стандартные
синтаксические конструкции могут быть разрушены. Например switch может исчезнуть
и превратится в if-else.

Кроме того есть языки-прадигмы которые в принципе никогда не собираются в другие
формы. Например Lisp, или Prolog. Как их переносить - вообще вопрос непонятный.

Поэтому наверное перенос программ можно гарантировать для очень ограниченного
под-множества языков.

Или псевдо-язык.

Типичный сценарий. Пользователь бухгалтерии пишет запрос на псевдо-языке типа.




А двузвенка или трезвенка просто транслирует это в цепочку вызовов внешних сервисов и баз данных.