Presentation slides for the paper A Theory of Type Qualifiers by Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken (PLDI 1999).
Presented in a paper discussion session during the Synthesis, Analysis, and Verification class at EPFL, spring semester 2015.
Authors: Georg Schmid and Samuel Grütter