Earlier quoted context omitted.
A formal spec would be good enough too. But since he's specifying concrete output and graphics as part of the language, it's rather hard to specify binary-compatibility without a reference implementation. This is why there are no interpreted languages without a reference implementation that haven't failed miserably.
SQL, Prolog, Scheme, and VHDL seem to be doing just fine. And if you leave off the "interpreted" qualifier, which is (a) a property of an implementation, not a language, and (b) is rather meaningless anyway (can you actually define "interpreted"?), well, then C ought to count too.
Wolfram obviously isn't aiming for that.
Go to Wolfram's page. That is no spec, it's a rough description of a particular implementation of a (closed source) system.