Changeset 200b2b5 for doc/bibliography

Timestamp:

Mar 9, 2018, 3:44:33 PM (7 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

49eb6a2

Parents:

860f19f

Message:

Add uC++, CCured & Ironclad C++ to related work

File:

• doc/bibliography/pl.bib (modified) (2 diffs)

doc/bibliography/pl.bib

@@ -1020 +1020 @@
     year        = 1985,
     pages       = {14-22}
+}
+
+@inproceedings{Necula02,
+    author = {Necula, George C. and McPeak, Scott and Weimer, Westley},
+    title = {{CCured}: Type-safe Retrofitting of Legacy Code},
+    booktitle = {Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
+    series = {POPL '02},
+    year = {2002},
+    isbn = {1-58113-450-9},
+    location = {Portland, Oregon},
+    pages = {128--139},
+    numpages = {12},
+    url = {http://doi.acm.org/10.1145/503272.503286},
+    doi = {10.1145/503272.503286},
+    acmid = {503286},
+    publisher = {ACM},
+    address = {New York, NY, USA},
 }
 
@@ -3653 +3670 @@
   year={2012},
   organization={IEEE}
+}
+
+@inproceedings{DeLozier13,
+    author = {DeLozier, Christian and Eisenberg, Richard and Nagarakatte, Santosh and Osera, Peter-Michael and Martin, Milo M.K. and Zdancewic, Steve},
+    title = {{I}ronclad {C++}: A Library-augmented Type-safe Subset of {C++}},
+    booktitle = {Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages \& Applications},
+    series = {OOPSLA '13},
+    year = {2013},
+    isbn = {978-1-4503-2374-1},
+    location = {Indianapolis, Indiana, USA},
+    pages = {287--304},
+    numpages = {18},
+    url = {http://doi.acm.org/10.1145/2509136.2509550},
+    doi = {10.1145/2509136.2509550},
+    acmid = {2509550},
+    publisher = {ACM},
+    address = {New York, NY, USA},
+    keywords = {c++, local pointers, memory safety, type-safety},
 }