You would aim to prove properties of the formal semantics of a language, but that requires the language be described in a formal manner. Check out "The Definit

You would aim to prove properties of the formal semantics of a language, but that requires the language be described in a formal manner. Check out "The Definition of Standard ML" to get a sense of what a (mostly kosher) formal programming language definition might look like.