Mercurial > cpdt > repo

comparison 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
comparison
equal deleted inserted replaced
343:be8c7aae20f4 344:7466ac31f162
227 title = {An Analysis of {Girard's} Paradox}, 227 title = {An Analysis of {Girard's} Paradox},
228 booktitle = {Proceedings of the Symposium on Logic in Computer Science}, 228 booktitle = {Proceedings of the Symposium on Logic in Computer Science},
229 year = {1986}, 229 year = {1986},
230 pages = {227--236} 230 pages = {227--236}
231 } 231 }
232
233 @inproceedings{PCC,
234 author = {George C. Necula},
235 title = {Proof-carrying code},
236 booktitle = {Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
237 year = {1997},
238 }
239
240 @inproceedings{XCAP,
241 author = {Ni, Zhaozhong and Shao, Zhong},
242 title = {Certified assembly programming with embedded code pointers},
243 booktitle = {Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
244 year = {2006},
245 }