English Compiler correctness Cited by user 88.134.175.48 on 03 Jan 2012 In computing, compiler correctness is the branch of software engineering that deals with trying to show that a compiler behaves according to its language specification.