Compiler correctness is a field in computer science that focuses on ensuring that a compiler functions as intended based on its language specification. This can be achieved through formal methods during the development process or rigorous testing of an already existing compiler.
University of Washington
Spring 2021
University of Washington's course develops rigorous tools to study the meaning of programs. It aims to improve formalism, proof skills, and precision in programming, while also discussing practical applications. It covers operational semantics, Hoare Logic, compiler correctness, and more.
No concepts data
+ 17 more concepts