Compiler/Verifying syntax: Difference between revisions