Coq: the world's best macro assembler?

Andrew Kennedy, Nick Benton, Jonas Braband Jensen, Pierre-variste Dagand

Browse the full PPDP paper archive.