Papers tagged program verification An Axiomatic Basis for Computer Programming Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assistant Liquid Types Propositions as Types Browse All Keywords By Category
