The Compiler as Validator: When a Free Model's Wrong C++ Is Still Cheap

A free model will write wrong C++ template code. That is not a problem when the compiler is the...