source: Papers/cpp-asm-2012/cpp-2012-asm.bib

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @2370   9 years mulligan Added reference to Jaap's ArXiv? paper
(edit) @2362   9 years mulligan 16 pages at last due to all sorts of fiddling. Any more additions …
(copy) @2329   9 years mulligan Added new directory for papers so as to stop them from being spread …
copied from src/ASM/CPP2012-asm/cpp-2012-asm.bib:
(edit) @2095   9 years mulligan Added reference to CompCert? and CompCertTSO.
Note: See TracRevisionLog for help on using the revision log.