[steamboiler]

A language spec is roughly analogous to the definitions of scientific units of measurement[1]. They among other things, allow us to verify something independently of a specific kind of measuring device.

[1] http://physics.nist.gov/cuu/Units/current.html