It has been achieved by many different projects: The K framework is probably the closest to a universal language.
There’s also the possibility of formally defining code as an Agda spec which also allows that code to be converted to any other language without adding new bugs.
Then, you have category theory which is literally a universal language that describes ALL processes in a program.
Then you also have lambda calculus which does the same thing.