Explore relationships

Compiler correctness

In computing, compiler correctness is the branch of computer science that deals with trying to show that a compiler behaves according to its language specification.

Use + to expand a branch. Click a topic name to open its summary.