Metatheory is a theory about existing theories, often used to analyze and describe them. It is part of the philosophy of science and has been applied to topics such as scientific linguistics and metalanguage. Metatheory became popular in the 20th century for its use in improving the practice of science.
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