Program Logics for Certified Compilers [pdf]https://www.cs.princeton.edu/~appel/papers/plcc.pdf by ingve • 6 years ago 3 1 6 years agoCScs.princeton.edu