(en.wikipedia.org) Compiler correctness - Wikipedia

ROAM_REFS: https://en.wikipedia.org/wiki/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. Techniques include developing the compiler using formal methods and using rigorous testing (often called compiler validation) on an existing compiler.

Local Graph

org-roam 68b697b3-2288-4738-b0e7-99a7350aa15d (en.wikipedia.org) Compiler correctne... //en.wikipedia.org/wiki/Computing https://en.wikipedia.org/wiki/Computing 68b697b3-2288-4738-b0e7-99a7350aa15d->//en.wikipedia.org/wiki/Computing //en.wikipedia.org/wiki/Computer_science https://en.wikipedia.org/wiki/Computer_science 68b697b3-2288-4738-b0e7-99a7350aa15d->//en.wikipedia.org/wiki/Computer_science //en.wikipedia.org/wiki/Compiler https://en.wikipedia.org/wiki/Compiler 68b697b3-2288-4738-b0e7-99a7350aa15d->//en.wikipedia.org/wiki/Compiler //en.wikipedia.org/wiki/Programming_language https://en.wikipedia.org/wiki/Programming_language 68b697b3-2288-4738-b0e7-99a7350aa15d->//en.wikipedia.org/wiki/Programming_language //en.wikipedia.org/wiki/Formal_methods https://en.wikipedia.org/wiki/Formal_methods 68b697b3-2288-4738-b0e7-99a7350aa15d->//en.wikipedia.org/wiki/Formal_methods 4a92cbad-3e81-44e9-b8da-f937a96b1626 (www.google.com) compiler where outpu... 4a92cbad-3e81-44e9-b8da-f937a96b1626->68b697b3-2288-4738-b0e7-99a7350aa15d cb5b18c5-4755-494d-b077-a9f02543cf4a (www.google.com) verifiable compiler ... cb5b18c5-4755-494d-b077-a9f02543cf4a->68b697b3-2288-4738-b0e7-99a7350aa15d