Mercurial > cpdt > repo

diff latex/cpdt.bib @ 344:7466ac31f162

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New section on avoiding axioms
author Adam Chlipala <adam@chlipala.net>
date Mon, 17 Oct 2011 14:56:46 -0400
parents be8c7aae20f4
children 5d85de065540
line wrap: on
line diff
--- a/latex/cpdt.bib	Mon Oct 17 11:09:23 2011 -0400
+++ b/latex/cpdt.bib	Mon Oct 17 14:56:46 2011 -0400
@@ -229,3 +229,17 @@
     year = {1986},
     pages = {227--236}
 }
+
+@inproceedings{PCC,
+ author = {George C. Necula},
+ title = {Proof-carrying code},
+ booktitle = {Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
+ year = {1997},
+}
+
+@inproceedings{XCAP,
+ author = {Ni, Zhaozhong and Shao, Zhong},
+ title = {Certified assembly programming with embedded code pointers},
+ booktitle = {Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
+ year = {2006},
+ }